Add methods to check if a DMRS scopes (e.g. cheapscope, [utool](http://www.coli.uni-saarland.de/projects/chorus/utool/)) Perhaps also add interpretations of quantifiers (as functions of two cardinalities)
Add methods to check if a DMRS scopes (e.g. cheapscope, utool)
Perhaps also add interpretations of quantifiers (as functions of two cardinalities)