Open guyemerson opened 8 years ago
Add methods to check if a DMRS scopes (e.g. cheapscope, 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)