$ lola --formula="AG (ea.2 = 0 OR ea.3 = 0)" phils10.lola
lola: reading net from phils10.lola
...
lola: checking invariance
...
lola: result: yes
lola: The net satisfies the given formula.
lola: 28098 markings, 44878 edges
