Syllogistic_logic loading ...