Carve is a type of Cut. Cut is related to Partner. 
Punch requires Find. Punch is related to Swing. Swing is a type of Action. Action is a synonym of Prosecution. 
Carve --IsA--> Cut <--RelatedTo--> Partner 
Find <--HasPrerequisite-- Punch <--RelatedTo--> Swing --IsA--> Action <--Synonym--> Prosecution 