R1035 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1035 / 1:1c

Type Operation Extender adds attribute computed by exactly one Type Operation

Type Operation computes attribute value for zero or one Type Operation Extender

---

The logic here parallels R1034.