Reaction
type: Class
subclass of: Restriction
  max cardinality: 2
  on property: hasSide

reaction0.left
type: Class
subclass of: Restriction
  all values from: reaction0
  on property: sideOf
disjoint with: h0
disjoint with: h2o0
disjoint with: o0
disjoint with: reaction0
disjoint with: reaction0.right
intersection of: ReactionSide
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      on property: +participant.value
      some values from: o0
    intersection of: Restriction
      has value: 0
      on property: +participant.stoichiometry
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      on property: +participant.value
      some values from: h0
    intersection of: Restriction
      has value: 0
      on property: +participant.stoichiometry
intersection of: Restriction
  max cardinality: 2
  on property: +has.reified.participant

reaction0.right
type: Class
subclass of: Restriction
  all values from: reaction0
  on property: sideOf
disjoint with: h0
disjoint with: h2o0
disjoint with: o0
disjoint with: reaction0
disjoint with: reaction0.left
intersection of: ReactionSide
intersection of: Restriction
  max cardinality: 1
  on property: +has.reified.participant
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      on property: +participant.value
      some values from: h2o0
    intersection of: Restriction
      has value: 0
      on property: +participant.stoichiometry

reaction1.left
type: Class
subclass of: Restriction
  all values from: reaction1
  on property: sideOf
disjoint with: h1
disjoint with: h2o1
disjoint with: o1
disjoint with: reaction1
disjoint with: reaction1.right
intersection of: ReactionSide
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      has value: 1
      on property: +participant.stoichiometry
    intersection of: Restriction
      on property: +participant.value
      some values from: h1
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      has value: 1
      on property: +participant.stoichiometry
    intersection of: Restriction
      on property: +participant.value
      some values from: o1
intersection of: Restriction
  max cardinality: 2
  on property: +has.reified.participant

reaction1.right
type: Class
subclass of: Restriction
  all values from: reaction1
  on property: sideOf
disjoint with: h1
disjoint with: h2o1
disjoint with: o1
disjoint with: reaction1
disjoint with: reaction1.left
intersection of: ReactionSide
intersection of: Restriction
  max cardinality: 1
  on property: +has.reified.participant
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      has value: 1
      on property: +participant.stoichiometry
    intersection of: Restriction
      on property: +participant.value
      some values from: h2o1

reaction2.left
type: Class
subclass of: Restriction
  all values from: reaction2
  on property: sideOf
disjoint with: h2
disjoint with: h2o2
disjoint with: o2
disjoint with: reaction2
disjoint with: reaction2.right
intersection of: ReactionSide
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      on property: +participant.value
      some values from: o2
    intersection of: Restriction
      has value: 2
      on property: +participant.stoichiometry
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      has value: 2
      on property: +participant.stoichiometry
    intersection of: Restriction
      on property: +participant.value
      some values from: h2
intersection of: Restriction
  max cardinality: 2
  on property: +has.reified.participant

reaction2.right
type: Class
subclass of: Restriction
  all values from: reaction2
  on property: sideOf
disjoint with: h2
disjoint with: h2o2
disjoint with: o2
disjoint with: reaction2
disjoint with: reaction2.left
intersection of: ReactionSide
intersection of: Restriction
  max cardinality: 1
  on property: +has.reified.participant
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      has value: 2
      on property: +participant.stoichiometry
    intersection of: Restriction
      on property: +participant.value
      some values from: h2o2

reaction3.left
type: Class
subclass of: Restriction
  all values from: reaction3
  on property: sideOf
disjoint with: h0
disjoint with: h2o0
disjoint with: o0
disjoint with: reaction3
disjoint with: reaction3.right
intersection of: ReactionSide
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      on property: +participant.value
      some values from: o0
    intersection of: Restriction
      has value: 0
      on property: +participant.stoichiometry
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      on property: +participant.value
      some values from: h0
    intersection of: Restriction
      has value: 0
      on property: +participant.stoichiometry
intersection of: Restriction
  max cardinality: 2
  on property: +has.reified.participant

reaction3.right
type: Class
subclass of: Restriction
  all values from: reaction3
  on property: sideOf
disjoint with: h0
disjoint with: h2o0
disjoint with: o0
disjoint with: reaction3
disjoint with: reaction3.left
intersection of: ReactionSide
intersection of: Restriction
  max cardinality: 1
  on property: +has.reified.participant
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      on property: +participant.value
      some values from: h2o0
    intersection of: Restriction
      has value: 0
      on property: +participant.stoichiometry

reaction4.left
type: Class
subclass of: Restriction
  all values from: reaction4
  on property: sideOf
disjoint with: h1
disjoint with: h2o1
disjoint with: o1
disjoint with: reaction4
disjoint with: reaction4.right
intersection of: ReactionSide
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      has value: 1
      on property: +participant.stoichiometry
    intersection of: Restriction
      on property: +participant.value
      some values from: h1
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      has value: 1
      on property: +participant.stoichiometry
    intersection of: Restriction
      on property: +participant.value
      some values from: o1
intersection of: Restriction
  max cardinality: 2
  on property: +has.reified.participant

reaction4.right
type: Class
subclass of: Restriction
  all values from: reaction4
  on property: sideOf
disjoint with: h1
disjoint with: h2o1
disjoint with: o1
disjoint with: reaction4
disjoint with: reaction4.left
intersection of: ReactionSide
intersection of: Restriction
  max cardinality: 1
  on property: +has.reified.participant
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      has value: 1
      on property: +participant.stoichiometry
    intersection of: Restriction
      on property: +participant.value
      some values from: h2o1

reaction5.left
type: Class
subclass of: Restriction
  all values from: reaction5
  on property: sideOf
disjoint with: h2
disjoint with: h2o2
disjoint with: o2
disjoint with: reaction5
disjoint with: reaction5.right
intersection of: ReactionSide
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      on property: +participant.value
      some values from: o2
    intersection of: Restriction
      has value: 2
      on property: +participant.stoichiometry
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      has value: 2
      on property: +participant.stoichiometry
    intersection of: Restriction
      on property: +participant.value
      some values from: h2
intersection of: Restriction
  max cardinality: 2
  on property: +has.reified.participant

reaction5.right
type: Class
subclass of: Restriction
  all values from: reaction5
  on property: sideOf
disjoint with: h2
disjoint with: h2o2
disjoint with: o2
disjoint with: reaction5
disjoint with: reaction5.left
intersection of: ReactionSide
intersection of: Restriction
  max cardinality: 1
  on property: +has.reified.participant
intersection of: Restriction
  on property: +has.reified.participant
  some values from: Class
    intersection of: Restriction
      has value: 2
      on property: +participant.stoichiometry
    intersection of: Restriction
      on property: +participant.value
      some values from: h2o2