Since the early days of natural language understanding (NLU), quantifier scope disambiguation has been an extremely hard task.
early NLU systems either devised some mechanism for leaving the semantic representation underspecified (Woods 1978, Hobbs andShieber 1987), or tried to assign scoping to sentences based on heuristics (VanLehn 1978, Moran 1988, Alshawi 1992.