Werner Ceusters

intervals have no internal gaps [ekm-1] - double negation issue?

2

The original reads: (cl:comment "intervals have no internal gaps [ekm-1]" (forall (i start end) (if (and (instance-of i temporal-interval i) (has-first-instant i start) (has-last-instant i end)) (not (exists (gap gap-start...

(cl:comment "participates-in is time indexed and has domain: independent-continuant but not spatial-region or specifically-dependent-continuant or generically-dependent-continuant and range: process [ild-1]" (forall (a b t) (if (participates-in a b t) (and...