Then, P a implies H since "at most ten" is downward-entailing in the predicate argument; the system produces a wrong answer.
in the "Selec-tion+Relation" setting, "a lot of" is encoded as selection and accompanied with the quantification marker "✓", which can take a narrow scope and is explained as a division operator.