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

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

A. pathologic primary tumor stage for lung according to AJCC 7th edition
B. single generalization specification
C. SOAP service
D. algorithm

Answer: algorithm