All Classes
And
AtomicProposition
ExistsNext
Formula
Not
TransitionSystem
True