A crude diagram:
global: (
a: (
[we are here]
value: 10,
informant: 'user,
constraints: '()
),
b: (...),
inform-about-value: (...),
for-each-except: (...),
...
)