Université de Colorado, Semantic prerequisites for the typology of the functional categories