Check is a type of Examine. Candle is a type of Examine. you are likely to find Candle in/at/on Restaurant. 
Terrorism requires Hate. Hate is the opposite of Enjoy. 
Check --IsA--> Examine <--IsA-- Candle --AtLocation--> Restaurant 
Terrorism --HasPrerequisite--> Hate <--Antonym--> Enjoy 