An automated system for generating categorical sentences and syllogisms.