Therefore, finding a common substitution instance is insufficient without prior semantic grounding o...