$ lola --formula="AGEF FIREABLE(tl.[y=3])" phils10.lola
lola: reading net from phils10.lola
...
lola: checking liveness
...
lola: processed formula: !(E(TRUE U !(E(TRUE U (-th.3 <= -1 AND -fo.3 <= -1)))))
...
lola: result: no
lola: The net does not satisfy the given formula.
lola: 3113 markings, 12969 edges
