$ lola --formula="AGEF hl.1 > 0" phils10.lola
lola: reading net from phils10.lola
...
lola: checking liveness
lola: processed formula: !(E(TRUE U !(E(TRUE U -hl.1 <= -1))))
...
lola: result: yes
lola: The net satisfies the given formula.
lola: 59048 markings, 500013 edges
