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

The property 'Award agreement' applies to instances of 'Tender', and 'Formalized tender' is a subclass of 'Tender'. Which class can appear as the value of 'Award agreement' for instances of 'Formalized tender'?

A. Contract additional obligations
B. Contract execution conditions
C. Contract activites
D. Contracting body agreement

Answer: Contracting body agreement