Assertion: isomorphism | /r/HasProperty | correct
Facets:
Source sentences:
text: I may be wrong but from the matrix example you found, I can say that using matrices is not for finding the isomorphism directly but checking (we can say proving as well) whether the isomorphism we found is correct or not.