Faked Winograd Ontology
Ontology to specification transformation