We moved quantifiers from NUM to DET.