Task: Property Constraint Reasoning (ontology: Sciences/Computer_Science)

The property 'implements' applies to instances of 'software', and 'MAANOVA v1.2 package for MATLAB' is a subclass of 'software'. Which class can appear as the value of 'implements' for instances of 'MAANOVA v1.2 package for MATLAB'?

A. Usage unrestricted
B. MPL
C. pathologic distant metastases stage for colon according to AJCC 7th edition
D. algorithm

Answer: algorithm