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)