yeah, Ctrl+F "type" gives 4 (non-title) occurrences, all of them in the first two paragraphs. the rest seems to be related to AI and the problems of making it "actually refer to the real world". weird!

EDIT2: i think the author is actually talking about cogsci "mental propositions". (see my other comment)