Father is related to Priest. Bishop is a type of Priest. 
Validity is a type of Situation. Situation is related to Event. Event is related to Bed. 
Father <--RelatedTo--> Priest <--IsA-- Bishop 
Validity --IsA--> Situation <--RelatedTo--> Event <--RelatedTo--> Bed 