“…In [14], we introduced a new abstraction, multi. This new abstraction makes it possible to generalize the three goals above to the following new abstract goal: draw(g 1 , g 2 , a 1 ), multi(attack all(g i , g j , a 1 )), multi(attack all(g k , g l , [g 4 |a 1 ])), confused([g 4 |a 1 ]) 3 .…”