Inheritance
Child_Contract -> Immediate_Base_Contracts [Not_Immediate_Base_Contracts]
+ T


Base_Contract -> Immediate_Child_Contracts
 [Not_Immediate_Child_Contracts]

+ T

