{<br /></p><p>forAll( p: DirectPosition, t : Time, n : Integer)-><br /></p><p> [<br /></p><p> .geometryAtTime(beginDomain).includes(p)  & controlOrientation[n].time = t] <br /></p><p> implies <br /></p><p> [trajectory(p,t) = controlOrientation[n].rotation(p)<br /></p><p> ]<br /></p><p> }<br /></p>