Relation START=


Slots on this relation:

Arity: 2

Axioms:

(<=> (Start= ?Tr1 ?Tr2) (Or (Starts ?Tr1 ?Tr2) (Equals ?Tr1 ?Tr2)))