temporal syllogistic rules (analogy)
temporal syllogistic rules (analogy)
Merge origin/master