zh:syllogism