nonresident Deductions role is for example nonresident ⇐ (nonresident is a role), (is a is inverse of is for example) nonresident is subclass of person ⇐ (inhabitant is subclass of person), (inhabitant is opposite of nonresident)