To test COUNTER in a realistic setting, we cannot compare the DRSs to themselves or to a DRS of the translation, since those are too similar.
the 19,000 English sentences of the DRS are parsed by an existing AMR parser (van Noord and Bos, 2017) and subsequently converted into a DRS by a rule-based system, AMR2DRS, as motivated by Bos (2016).