%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------%

------ Parsing...successful


------ Proving...
use I-
not ground preserving

Gamma_0: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)

Gamma_1: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0

Gamma_2: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0

Gamma_3: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]

Gamma_4: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]

Gamma_5: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]

Gamma_6: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]

Gamma_7: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]

Gamma_8: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]

Gamma_9: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))

Gamma_10: (right-split)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))

Gamma_11: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,X1),X2),skf8(X0,skc33,X1))]

Gamma_12: (right-split)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]

Gamma_13: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]

Gamma_14: (right-split)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]

Gamma_15: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0

Gamma_16: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0

Gamma_17: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0

Gamma_18: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0

Gamma_19: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0

Gamma_20: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0

Gamma_21: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0
  18: [shake_beverage(skc33,skc36)], ssSkC0

Gamma_22: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0
  18: [shake_beverage(skc33,skc36)], ssSkC0
  19: [order(skc33,skc35)], ssSkC0

Gamma_23: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0
  18: [shake_beverage(skc33,skc36)], ssSkC0
  19: [order(skc33,skc35)], ssSkC0
  20: [nonreflexive(skc33,skc35)], ssSkC0

Gamma_24: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0
  18: [shake_beverage(skc33,skc36)], ssSkC0
  19: [order(skc33,skc35)], ssSkC0
  20: [nonreflexive(skc33,skc35)], ssSkC0
  21: [past(skc33,skc35)], ssSkC0

Gamma_25: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0
  18: [shake_beverage(skc33,skc36)], ssSkC0
  19: [order(skc33,skc35)], ssSkC0
  20: [nonreflexive(skc33,skc35)], ssSkC0
  21: [past(skc33,skc35)], ssSkC0
  22: [event(skc33,skc35)], ssSkC0

Gamma_26: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0
  18: [shake_beverage(skc33,skc36)], ssSkC0
  19: [order(skc33,skc35)], ssSkC0
  20: [nonreflexive(skc33,skc35)], ssSkC0
  21: [past(skc33,skc35)], ssSkC0
  22: [event(skc33,skc35)], ssSkC0
  23: [woman(skc33,skc38)], ssSkC0

Gamma_27: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0
  18: [shake_beverage(skc33,skc36)], ssSkC0
  19: [order(skc33,skc35)], ssSkC0
  20: [nonreflexive(skc33,skc35)], ssSkC0
  21: [past(skc33,skc35)], ssSkC0
  22: [event(skc33,skc35)], ssSkC0
  23: [woman(skc33,skc38)], ssSkC0
  24: [forename(skc33,skc37)], ssSkC0

Gamma_28: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0
  18: [shake_beverage(skc33,skc36)], ssSkC0
  19: [order(skc33,skc35)], ssSkC0
  20: [nonreflexive(skc33,skc35)], ssSkC0
  21: [past(skc33,skc35)], ssSkC0
  22: [event(skc33,skc35)], ssSkC0
  23: [woman(skc33,skc38)], ssSkC0
  24: [forename(skc33,skc37)], ssSkC0
  25: [mia_forename(skc33,skc37)], ssSkC0

Gamma_29: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0
  18: [shake_beverage(skc33,skc36)], ssSkC0
  19: [order(skc33,skc35)], ssSkC0
  20: [nonreflexive(skc33,skc35)], ssSkC0
  21: [past(skc33,skc35)], ssSkC0
  22: [event(skc33,skc35)], ssSkC0
  23: [woman(skc33,skc38)], ssSkC0
  24: [forename(skc33,skc37)], ssSkC0
  25: [mia_forename(skc33,skc37)], ssSkC0
  26: [actual_world(skc12)]

Gamma_30: (extend-no-conflict)
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(
X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0
  18: [shake_beverage(skc33,skc36)], ssSkC0
  19: [order(skc33,skc35)], ssSkC0
  20: [nonreflexive(skc33,skc35)], ssSkC0
  21: [past(skc33,skc35)], ssSkC0
  22: [event(skc33,skc35)], ssSkC0
  23: [woman(skc33,skc38)], ssSkC0
  24: [forename(skc33,skc37)], ssSkC0
  25: [mia_forename(skc33,skc37)], ssSkC0
  26: [actual_world(skc12)]
  27: [actual_world(skc33)]
  0: [member(X0,skf8(X1,X0,X2),X2)], ssSkP0(X1,X2,X0)
  1: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), [dollar(skc33,skf8(X0,skc33,skc34))], ssSkC0
  2: [ssSkP0(skc34,skc34,skc33)], ssSkC0
  3: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [patient(
skc33,skf6(skc33,skf8(X0,skc33,skc34),X1),skf8(X0,skc33,skc34))]
  4: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,skc34),skc34),skc34)]
  5: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [cost(
skc33,skf6(skc33,X1,X2))]
  6: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [nonreflexive(
skc33,skf6(skc33,X1,X2))]
  7: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [present(
skc33,skf6(skc33,X1,X2))]
  8: ~(member(skc33,skf8(X0,skc33,skc34),skc34)), ~(ssSkP0(skc34,skc34,skc33)), [event(
skc33,skf6(skc33,X1,X2))]
  9: top(X0) != skc34 | [ssSkP0(skc34,X0,skc33)], ~(patient(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skf8(skc34,skc33,skc34))), ~(
agent(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34),skc34)), ~(cost(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
present(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(nonreflexive(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34))), ~(
event(skc33,skf6(skc33,skf8(skc34,skc33,skc34),skc34)))
  10: top(X1) != skc34 & top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(
ssSkP0(skc34,X1,skc33)), [patient(skc33,skf6(skc33,skf8(X0,skc33,X1),X2),
skf8(X0,skc33,X1))]
  11: top(X1) != skc34 | ~(member(skc33,skf8(X0,skc33,X1),X1)), ~(ssSkP0(skc34,X1,skc33)), [agent(
skc33,skf6(skc33,skf8(X0,skc33,X1),skc34),skc34)]
  12: [patient(skc33,skc35,skc36)], ssSkC0
  13: [of(skc33,skc37,skc38)], ssSkC0
  14: [agent(skc33,skc35,skc38)], ssSkC0
  15: [nonhuman(skc33,skc34)], ssSkC0
  16: [five(skc33,skc34)], ssSkC0
  17: [group(skc33,skc34)], ssSkC0
  18: [shake_beverage(skc33,skc36)], ssSkC0
  19: [order(skc33,skc35)], ssSkC0
  20: [nonreflexive(skc33,skc35)], ssSkC0
  21: [past(skc33,skc35)], ssSkC0
  22: [event(skc33,skc35)], ssSkC0
  23: [woman(skc33,skc38)], ssSkC0
  24: [forename(skc33,skc37)], ssSkC0
  25: [mia_forename(skc33,skc37)], ssSkC0
  26: [actual_world(skc12)]
  27: [actual_world(skc33)]

SZS status Satisfiable