The Syllogistics is a work by the famed philosopher Ajencis, laying out a logic describing the relations between subjects and predicates.