(context A #{1 2} #{} #{a})
(context B #{3 4})
(context C #{5 6})
(context D #{7 8})

(seed X #{5} ((#{1 3} #{7}) (#{7} #{1 3})))
(choice Y #{1 3 5 7} #{1})

((reaction (x X)) #{x (+ x 1)} #{a b c} #{(+ x 2) (+ x 3)})
((reaction (x Y)) #{x (+ x 1)} #{a b c} #{(+ x 2) (+ x 3)})

(reaction #{1 2} #{a b c} #{3 4})
(reaction #{3 4} #{a b c} #{1 2})
(reaction #{5 6} #{a b c} #{3 4})
(reaction #{7 8} #{a b c} #{5 6})