(=> (and (instance ?DECODE Decoding) (patient ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2) (and (containsInformation ?DOC2 ?PROP) (containsInformation ?DOC1 ?PROP) (holdsDuring ?TIME (and (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) (instance ?ENCODE Encoding) (patient ?ENCODE ?DOC2))))))
(equal (BeginFn (PastFn ?TIME)) NegativeInfinity)
(finishes (ImmediatePastFn (WhenFn ?THING)) (PastFn (WhenFn ?THING)))
(meetsTemporally (PastFn (WhenFn ?THING)) (WhenFn ?THING))
Next TemporalRelation: SecondFn Up: TemporalRelation, UnaryFunction Previous TemporalRelation: overlapsTemporally