Figure 1

Interpretation of a phosphorylation assay with an inhibitor. (A) Case where X^a has no modified form, treated by rule (R3). In the first alternative (left), Y^a influences the transformation independently from X^a; in the second alternative (right), Y^a is an intermediary of the induction of Z^a by X^a. (B) Case where X^a has a modified form X, treated by rule (R4). In the first alternative (left), Y^a influences the transformation independently from X^a; in the second alternative (middle), Y^a is an intermediary of the induction of Z^a by X^a; in the last alternative (right), X^a is an intermediary of the induction of Z^a by Y^a. For both cases, the confirmed or hypothetical facts that result from the superposition of the different alternatives are represented under the form of a resulting network, on the right of the figure. Blue modulations represent premises, green modulations conclusions that are confirmed, red ones hypotheses, and dashed ones conclusions that could be indirect and explained by transitivity.