Nesting Relation - Zistack/program-modeling-language GitHub Wiki

nesting <identifier> = <identifier> in <identifier>

An instance of the nesting relation exists for each instance of the second identified variable. We consider the second identified variable to be the 'parent' and the first to be the 'child'.These are the identifiers assigned to nodes of the second and instances of the first inside of the records that encode this relation.