Allen_Calculus

xor_cal

axioms

allen

disjoint_relations

jointly_exhaustive

examples

nest