temporal syllogistic rules (deduction and exemplification)