significant other Deductions role is for example significant other ⇐ (significant other is a role), (is a is inverse of is for example) single person is subclass of significant other ⇐ (spouse is subclass of significant other), (spouse is opposite of single person)