R1162 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1162 / 1:1c

Extend Action adds exactly one Table Attribute

Table Attribute is added by zero or one Extend Action

---

By definition, an Extend Action adds a Table Attribute to its output Table.

A given Table Attribute may or may not have been added by an Extend Action.