Internal
has_postcondition
has_postcondition
Direct succession applied to situations.
E.g., 'A postcondition of our Plan is to have things settled'.
E.g., 'A postcondition of our Plan is to have things settled'.
Frame Elements
Domain
Entity1
Entity1
Range
Entity2
Entity2
Inheritance Relations
Inherits from