you are likely to find Check in/at/on Box. Check is a type of Attack. Execution is a type of Attack. Execution is a type of Enforcement. 
Ok is the opposite of Bad. Bad is the opposite of Joy. Accomplishment can Joy. Accomplishment is a synonym of Skill. 
Box <--AtLocation-- Check --IsA--> Attack <--IsA-- Execution --IsA--> Enforcement 
Ok <--Antonym--> Bad <--Antonym--> Joy <--CapableOf-- Accomplishment <--Synonym--> Skill 