Spirit is a type of Ghost. 
Leave is a type of Change. Leave is a synonym of Depart. Depart is the opposite of Arrival. 
Spirit --IsA--> Ghost 
Change <--IsA-- Leave <--Synonym--> Depart <--Antonym--> Arrival 