(tv4) ANDLink tv5 = OF2(tvi, tv2, tv3, tv4) Near (self , toy) (tits) The target theorem is "How near I am to the toy if I climb on the pillow." PredictivelmplicationLink Climb_on(pillow) Near(self, toy) (?) And the inference chain as follows 1. Axiom 2 with axiom 1 Near(toy, cupboard_edge) (tv6) 2. Step 1 with a

$imultaneousANDLink which combine logical relation between the argument with temporal relation between their arguments. For instance, we might say PredictivelmplicationLink PredicateNode: JumpOffCliff PredicateNode: Dead or including arguments, PredictivelmplicationLink EvaluationLink JumpOffCliff $X EvaluationLink

indicates the likelihood of the sequence of events occurring in that order, with gap lying within the specified time interval. The truth value of the PredictivelmplicationLink version indicates the likelihood of the second event, conditional on the occurrence of the first event (within the given time interval restriction).