former member

Deductions

• Christian is subclass of former member ⇐ (anti-Christian is subclass of former member), (anti-Christian is opposite of Christian)
• anti-Christian is subclass of former member ⇐ (anti-Christian is subclass of religious adherent), (religious adherent is subclass of former member), (is subclass of is a transitive relation)
• religious adherent is subclass of former member ⇐ (apostate is subclass of former member), (apostate is opposite of religious adherent)