Practical_syllogism loading ...