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

The property 'is implemented by' applies to instances of 'algorithm', and 'Global test' is a subclass of 'algorithm'. Which class can appear as the value of 'is implemented by' for instances of 'Global test'?

A. Usage unrestricted
B. software
C. sproc
D. histologic grade according to AJCC 7th edition

Answer: software