temporal syllogistic rules (abduction, induction, and comparison)
Merge origin/master