Interpreter should key off critical events

[mengwong]

In the License Agreement case study we observe a key event Approval which many other rules are predicated upon.

It would be clever if the interpreter could bottleneck all the other concurrent threads against that transition, inferring a deontic region as consequent to the event.

In other words, the state diagram could show a sort of hourglass-shaped pattern. At the top of the hour glass, Licensee SHANT post on social media, SHANT publish the results; at the bottom of the hour glass, Licensee MAY post on social media, and MAY or MUST publish the results, depending on Commissioned.