$ lola --formula="EF (ea.2 > 0 AND ea.3 > 0)" phils10.lola
lola: reading net from phils10.lola
...
lola: checking reachability
...
lola: result: no
lola: The net does not satisfy the given formula.
lola: 28098 markings, 44878 edges
