But this implies that each natural language item accepts only arguments of some one fixed type.
and finally, Montague's version of IL is higher order, allowing quantification over entities and functions of any level.