Moreover, an intransitive verb has the type NP\S, where S is the type of sentences. The backslash in NP\S means that the expression takes an argument of type NP on the left side and returns an expression of type S. The verb ‘barks’ is intransitive, that is,