Zaslat SMS: Logic and ontology in the syllogistic of Robert Kilwardby