Task: Inferred Class Relation Reasoning (ontology: Legal/LKIF_Core_Ontology)

After reasoning, which of the following classes is one valid superclass of 'Prorogation in Force'?

A. Start Efficacy
B. Temporal Modification
C. Annulment
D. Efficacy Interval

Answer: Temporal Modification