OrderedPatrolling([r in l1, r in l2]);	UpperRestrictedAvoidance(r in l3,2);	Wait(cond,r in l4)
FairVisit([r in l1, r in l2]);	ExactRestrictedAvoidance(r in l3,2);	DelayedReaction(cond,r exec act)
StrictOrderedVisit([r in l1, r in l2]);	GlobalAvoidance(r in l3);	InstantaneousReaction(cond,r exec act)
SequencedVisit([r in l1, r in l2]);	FutureAvoidance(cond,r in l3);	BindedDelay(cond,r exec act)
OrderedVisit([r in l1, r in l2]);	PastAvoidance(cond,r in l3);	InstantaneousReaction(cond,r exec act)
Visit([r in l1, r in l2]);	LowerRestrictedAvoidance(r in l3,2);	BindedReaction(cond,r exec act)
StrictOrderedPatrolling([r in l1, r in l2]);	FutureAvoidance(cond,r in l3);	Wait(cond,r in l4)
Patrolling([r in l1, r in l2]);	LowerRestrictedAvoidance(r in l3,2);	InstantaneousReaction(cond,r exec act)
FairPatrolling([r in l1, r in l2]);	ExactRestrictedAvoidance(r in l3,2);	DelayedReaction(cond,r exec act)
SequencedPatrolling([r in l1, r in l2]);	UpperRestrictedAvoidance(r in l3,2);	FastReaction(cond,r exec act)