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

neighborhood <neighborhood_identifier> of <variable_identifier> as <variable_identifier> via <internal_relation_identifier> from <record_label> to <record_label>

This creates a relation similar to the nesting relation. There is an instance of the second variable for each node of the first. The contents of that instance are the nodes in the specified neighborhood of the first. The neighborhood is define by the given internal relation and the record labels. A node's neighborhood is the nodes found at the second record label in records of the given internal relation that have the source node as their value for the first record label.