Text this: Corcoran's aristotelian syllogistic as a subsystem of first-order logic