Task: Property Constraint Reasoning (ontology: Legal/LKIF_Core_Ontology)

The property 'after' applies to instances of 'Temporal Occurrence', and 'Interval' is a subclass of 'Temporal Occurrence'. Which class can appear as the value of 'after' for instances of 'Interval'?

A. Spatio Temporal Occurrence
B. Temporal Occurrence
C. Pair Of Periods
D. Pair

Answer: Temporal Occurrence