personal identity Deductions female has part personal identity ⇐ (female is subclass of identity), (identity has part personal identity) agender has part personal identity ⇐ (agender is subclass of identity), (identity has part personal identity)