From: Incremental and unifying modelling formalism for biological interaction networks
K CRO,Ø | K CRO,{CI} | K CRO,{CRO} | K CRO,{CI,CRO} |
---|---|---|---|
ΨCI,CRO(CI = high) ∪ ΨCI,CRO(CI = low) ∪ ΨCRO,CRO(CRO = high) = {absent} {0} | ΨCI,CRO(CI = absent) ∪ ΨCRO,CRO(CRO = high) = {high, absent} {0, 2} | ΨCI,CRO(CI = high) ∪ ΨCI,CRO(CI = low) ∪ ΨCRO,CRO(CRO = absent) = {absent, high} {0, 2} | ΨCI,CRO(CI = absent) ∪ ΨCRO,CRO(CRO = absent) = {high} {2} |