sa:syllogism