However, even first-order equivalence is an undecidable problem, and broadcoverage semantic representations such as those computed by the ERG usually have no welldefined model-theoretic semantics and therefore no concept of semantic equivalence.
we do not need to solve the full semantic equivalence problem, as we only want to compare formulas that are readings of the same sentence, i.e.