present events (with N) and proactivity

[giodegas]

Present events (with N suffix) when combined with internal events (with I suffix) through rules, generates non-deterministic behavior.

Example:

p :- qN.
pI :> z.
qE :> s.