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

membership <relation identifier> = <variable identifier> := <type identifier>

A membership relation is a relationship between a variable and a type. It simply states that each node in the variable is associated with a value in the type. The records of this relation refer to the nodes of the identified variable as the 'node', and the values of the identified type as the 'value'.