Open ArchnaBhatia opened 11 years ago
Since these sentences are all easily represented in first-order logic (with universal quantifier), and since first-order logic supports inference nicely, we should aim for an AMR 1.5 that includes universal quantification.
We should also include all the (very frequent!) quantifiers that do not appear in first-order logic, such as "most", "some", "few", etc.