Following Touretzky, we will define the "fixed inheritance" structure of a lexical item as follows, where "Q" and "P" are concepts in our model of lexical organization. Then: "Definition 4.1". A sequence <"Q1", "P1",..., "Pn"> is an "inheritance path", which can be read as the conjunction of ordered pairs {<"x1", "y1">| 1 ≤ "i" ≤ "n"}. Furthermore, from this we can define the set of concepts that lie on an inhritance path, as distinguished by a particular quale role ("Telic" versus "Formal"). We call this the "conclusion space" for a given quale, "Фq". "Definition 4.2". The "conclusion space" of a set of sequences, "Фq", is the set of all pairs < "Q, P" > such that a sequence < "Q",..., "P" > appears in "Фq", where "q" is one of the qualia for the concept "Q".
- Pustejovsky & Boguraev (2004), a pag.353-354