Guest is related to Company. Real is a type of Company. Real is a different concept from Fantasy. 
Ally is a type of State. 
Guest <--RelatedTo--> Company <--IsA-- Real <--DistinctFrom--> Fantasy 
Ally --IsA--> State 