Trace: tc15 hack2 hack4 initial_ontology cnr ki