Step Seven

A representation of the rule:

Forall x and y,

if x is a human and x throws a ball y

then x lofts y through the air

A consequence is introduced for throw. The algorithm picks up on this consequence and returns it as one of the

effects of the action "throw". The kn_cat arc is important in the verb algorithm as it is used for belief revisions

purposes. In order to get the rule to function properly it was necessary to define path based inference for class

to subclass/superclass. This had an interesting result on the items returned.