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

After reasoning, which of the following classes is one valid superclass of 'Substitution'?

A. Modification
B. Modification of Meaning
C. Integration
D. Semantic Annotation

Answer: Modification