Assertion: ontology's goal | /r/HasProperty | substitutable
Facets:
Source sentences:
text: This link represents the refinement of the source goal into the target goal or state equivalence if both goals are substitutable.