Text this: The relational syllogism: