Indeed, while systems have successfully been developed to model entailment between quantifiers, ranging from natural logic approaches (MacCartney and Manning, 2008) to distributional semantics solutions (Baroni et al., 2012), they rely on an explicit representation of quantification.
they can model the entailment All koupreys are mammals |= This kouprey is a mammal, but not Koupreys are mammals |= This kouprey is a mammal.