Reliability is derived from Ability. Ability is a type of Quality. Quality is related to Name. Name is related to Book. 
Proper is related to Formal. Formal is related to Road. Shoulder is part of Road. 
Reliability --DerivedFrom--> Ability --IsA--> Quality <--RelatedTo--> Name <--RelatedTo--> Book 
Proper <--RelatedTo--> Formal <--RelatedTo--> Road <--PartOf-- Shoulder 