Sofa can be used for Relax. you are likely to find Cat in/at/on Sofa. you are likely to find Cat in/at/on Fence. 
Imply is a type of Have. 
Relax <--UsedFor-- Sofa <--AtLocation-- Cat --AtLocation--> Fence 
Have <--IsA-- Imply 