Formal is a synonym of Abstract. Abstract is a type of Summary. 
Spirit is related to Soul. you are likely to find Soul in/at/on Imagination. Fantasy is a type of Imagination. Fantasy is related to Realm. 
Formal <--Synonym--> Abstract --IsA--> Summary 
Spirit <--RelatedTo--> Soul --AtLocation--> Imagination <--IsA-- Fantasy <--RelatedTo--> Realm 