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

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

A. algorithm
B. obsolescence reason specification
C. CTD Legal Notice and Terms of Data Use
D. GeneNetwork Conditions of Use

Answer: algorithm