-separating rules from t3 ontology