nl2ltl
