This predicate relates LexicalWords (q.v.) to their corresponding infinitive verb forms. (Infinitive WORD STRING) means that STRING is an infinitive verb form of WORD. But note that for the sake of convenience STRING does _not_ include the marker `to' that is commonly given at the beginning of an (English) infinitive. For example, Infinitive relates Hit-TheWord simply to the string `hit' (rather than `to hit'). Note also that, in the Knowledge Base (KB), the closed atomic sentences (i.e. GAF s) built with Infinitive typically have SubLStrings (q.v.) as their second arguments, as indicated by a surrounding pair of double-quotation marks. So the above example actually appears in the KB as `(Infinitive Hit-TheWord hit )'.