one thing you do when you Program is Type. Type is related to Rest. Rest is related to Sofa. 
Peasant is related to Dirty. Kitchen can be Dirty. 
Program --HasSubevent--> Type <--RelatedTo--> Rest <--RelatedTo--> Sofa 
Peasant <--RelatedTo--> Dirty <--HasProperty-- Kitchen 