Underlying is related to Structure. Form is a type of Structure. Form is related to Report. 
Contain is a synonym of Check. Check is a type of Inspection. 
Underlying <--RelatedTo--> Structure <--IsA-- Form <--RelatedTo--> Report 
Contain <--Synonym--> Check --IsA--> Inspection 