istic connectors are ignored, (so no DF Truth Value is indicated) but one could define them similarly to ;tpor• First consider a temporal rule from Allen's Interval Algebra. For instance "if $h meets $I2 and $I3 is during $I2 then $I3 is after SIC would be expressed as ForAllLink $I1 $12 $I3 ImplicationLink ANDLink Me