Property information

comment

X ends_after Y iff: end(Y) before_or_simultaneous_with end(X)

Property relations