An example of a language that is restricted to properties of human language is what