[X₀,[C₁,K₁],X₁]
RELATIONAL EVENT
OPEN →
NODEFLOW
OPEN →