Write is related to Pencil. you are likely to find Pencil in/at/on Cup. 
Right is related to Claim. Claim is related to Assert. Assert is a type of Behave. 
Write <--RelatedTo--> Pencil --AtLocation--> Cup 
Right <--RelatedTo--> Claim <--RelatedTo--> Assert --IsA--> Behave 