$ lola --formula="AG NOT FIREABLE(tl.[y=3])" phils10.lola
lola: reading net from phils10.lola
...
lola: checking invariance
...
lola: processed formula: (-th.3 <= -1 AND -fo.3 <= -1)
...
lola: result: no
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
