(def-rule (+ 3 (* $i @a) .) _)