Variable is a type of Symbol. Argument is a type of Variable. Argument is a synonym of Statement. Denial is a type of Statement. 
Cross is related to Right. Right is similar to Outside. Outside is related to Atmosphere. 
Symbol <--IsA-- Variable <--IsA-- Argument <--Synonym--> Statement <--IsA-- Denial 
Cross <--RelatedTo--> Right <--SimilarTo--> Outside <--RelatedTo--> Atmosphere 