Understanding Spoken Language

antecedent(s) , and no special arc between the variable and the consequent(s) . Both representat ions have nodes represent ing the proposi t ions of the antecedent(s) and the consequent(s) . Looked at in this way, Fahlman's restriction that "No clause may be part of the specification of more than one *EVERYnode" [p. 161] can be seen as eliminating the possibility of representing statements of the form (Ax)(Ay) {S(x,y) > I(x,y)}.