Argue entails/necessarily involves Disagree. Disagree is a type of Be. Compare is a type of Be. Compare is a type of Analyze. 
Shock is related to Unexpected. Unexpected is derived from Expect. Expect is a type of See. 
Argue --Entails--> Disagree --IsA--> Be <--IsA-- Compare --IsA--> Analyze 
Shock <--RelatedTo--> Unexpected --DerivedFrom--> Expect --IsA--> See 