Actions

A move action is a sequence of triples. The first component is symbolically
True if only one member crosses. (In this case the third element of the triple
is irrelevant.) If the first component is (symbolically) False, then both members
move together