Chronolog
Extension of
Disjunctive Chronolog (6820)