Strike is a type of Solve. Solve entails/necessarily involves Reason. Reason is related to Logical. 
Boat is related to Movement. 
Strike --IsA--> Solve --Entails--> Reason <--RelatedTo--> Logical 
Boat <--RelatedTo--> Movement 