("Ida",5)
r[A*B]
r;s |- t
PATTERN
...
ENDPATTERN
POPULATION r[A*B] CONTAINS [ ("Ida",5), ("Bob",1) ]
CONTEXT
...
ENDCONTEXT
INTERFACE Request FOR Customer
UNI
, TOT
, SUR
, INJ
r;s-t
-
, ~
, \/
, /\
, -
, ;
, \
, /
, |-
, =
CLASSIFY A ISA B
ROLE Customer MAINTAINS paymentObligation