A
llen_
C
alculus
xor_cal
axioms
allen
disjoint_relations
jointly_exhaustive
examples
nest