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

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

A. algorithm
B. pathologic distant metastases stage for ovary according to AJCC 7th edition
C. ProDom Commercial License
D. clinical tumor stage group according to AJCC 7th edition

Answer: algorithm