Very few (short) natural language expressions can be recognized and translated into appropriate Mathematica expressions. As a convention, we define type recognizers (i.e. predicates to decide whether something is of a particular type or not) always like
Examples for this are
Possible natural language constructions are: