and([always(or([not p ,q2])),
 always(or([not l ,not p ])),
 or([p]),
 or([q1]),
 or([l,r]),
 always(or([not q1 ,next(p)])),
 always(or([not q2 ,next(q1)])),
 always(or([not r ,sometime(l)]))]).
