A Formal Semantic Analysis of Autistic Language: The Quantification Hypothesis