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

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

A. algorithm
B. obsolescence reason specification
C. OPL v1.0
D. length unit

Answer: algorithm