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

------ Parsing...successful


------ Proving...
use I-

Gamma_0: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0

Gamma_1: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0

Gamma_2: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0

Gamma_3: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0

Gamma_4: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0

Gamma_5: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0

Gamma_6: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0

Gamma_7: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0

Gamma_8: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0

Gamma_9: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0

Gamma_10: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0

Gamma_11: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0

Gamma_12: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0

Gamma_13: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0

Gamma_14: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0

Gamma_15: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0

Gamma_16: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]

Gamma_17: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]

Gamma_18: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [ssSkC0]

Gamma_19: (extend-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [ssSkC0]
  19: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [~(ssSkC0)]

Gamma_20: (move)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [~(ssSkC0)]
  19: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [ssSkC0]

Gamma_21: (resolve)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [~(ssSkC0)]
  19: [~(down(skc17,skc18,skc19))], ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17))

Gamma_22: (extend-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [~(ssSkC0)]
  19: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), [~(actual_world(skc17))]

Gamma_23: (move)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), [~(actual_world(skc17))]
  18: [actual_world(skc17)]
  19: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [~(ssSkC0)]

Gamma_24: (resolve)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), [~(actual_world(skc17))]
  18: [~(down(skc17,skc18,skc19))], ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20))

Gamma_25: (extend-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), [~(actual_world(skc17))]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]

Gamma_26: (move)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: [city(skc17,skc20)], ssSkC0
  17: [actual_world(skc11)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), [~(actual_world(skc17))]

Gamma_27: (resolve)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]

Gamma_28: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]

Gamma_29: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)

Gamma_30: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)

Gamma_31: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)

Gamma_32: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)

Gamma_33: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)

Gamma_34: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)

Gamma_35: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)

Gamma_36: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)

Gamma_37: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)

Gamma_38: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)

Gamma_39: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)

Gamma_40: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)

Gamma_41: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)

Gamma_42: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)
  31: [white(skc11,skc16)], ~(ssSkC0)

Gamma_43: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)
  31: [white(skc11,skc16)], ~(ssSkC0)
  32: [dirty(skc11,skc16)], ~(ssSkC0)

Gamma_44: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)
  31: [white(skc11,skc16)], ~(ssSkC0)
  32: [dirty(skc11,skc16)], ~(ssSkC0)
  33: [old(skc11,skc16)], ~(ssSkC0)

Gamma_45: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)
  31: [white(skc11,skc16)], ~(ssSkC0)
  32: [dirty(skc11,skc16)], ~(ssSkC0)
  33: [old(skc11,skc16)], ~(ssSkC0)
  34: [actual_world(skc17)]
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)
  31: [white(skc11,skc16)], ~(ssSkC0)
  32: [dirty(skc11,skc16)], ~(ssSkC0)
  33: [old(skc11,skc16)], ~(ssSkC0)
  34: [actual_world(skc17)]

SZS status Satisfiable

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

------ Parsing...successful


------ Proving...
use I-

Gamma_0: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0

Gamma_1: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0

Gamma_2: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0

Gamma_3: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0

Gamma_4: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0

Gamma_5: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0

Gamma_6: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0

Gamma_7: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0

Gamma_8: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0

Gamma_9: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0

Gamma_10: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0

Gamma_11: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0

Gamma_12: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0

Gamma_13: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0

Gamma_14: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0

Gamma_15: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0

Gamma_16: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]

Gamma_17: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]

Gamma_18: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [ssSkC0]

Gamma_19: (extend-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [ssSkC0]
  19: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [~(ssSkC0)]

Gamma_20: (move)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [~(ssSkC0)]
  19: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [ssSkC0]

Gamma_21: (resolve)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [~(ssSkC0)]
  19: [~(down(skc17,skc18,skc19))], ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17))

Gamma_22: (extend-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: [actual_world(skc17)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [~(ssSkC0)]
  19: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), [~(actual_world(skc17))]

Gamma_23: (move)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), [~(actual_world(skc17))]
  18: [actual_world(skc17)]
  19: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), ~(actual_world(skc17)), [~(ssSkC0)]

Gamma_24: (resolve)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), [~(actual_world(skc17))]
  18: [~(down(skc17,skc18,skc19))], ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20))

Gamma_25: (extend-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: [city(skc17,skc20)], ssSkC0
  16: [actual_world(skc11)]
  17: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), [~(actual_world(skc17))]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]

Gamma_26: (move)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: [city(skc17,skc20)], ssSkC0
  17: [actual_world(skc11)]
  18: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), ~(
city(skc17,skc20)), [~(actual_world(skc17))]

Gamma_27: (resolve)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]

Gamma_28: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]

Gamma_29: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)

Gamma_30: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)

Gamma_31: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)

Gamma_32: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)

Gamma_33: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)

Gamma_34: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)

Gamma_35: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)

Gamma_36: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)

Gamma_37: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)

Gamma_38: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)

Gamma_39: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)

Gamma_40: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)

Gamma_41: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)

Gamma_42: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)
  31: [white(skc11,skc16)], ~(ssSkC0)

Gamma_43: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)
  31: [white(skc11,skc16)], ~(ssSkC0)
  32: [dirty(skc11,skc16)], ~(ssSkC0)

Gamma_44: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)
  31: [white(skc11,skc16)], ~(ssSkC0)
  32: [dirty(skc11,skc16)], ~(ssSkC0)
  33: [old(skc11,skc16)], ~(ssSkC0)

Gamma_45: (extend-no-conflict)
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)
  31: [white(skc11,skc16)], ~(ssSkC0)
  32: [dirty(skc11,skc16)], ~(ssSkC0)
  33: [old(skc11,skc16)], ~(ssSkC0)
  34: [actual_world(skc17)]
  0: [down(skc17,skc18,skc19)], ssSkC0
  1: [of(skc17,skc21,skc20)], ssSkC0
  2: [in(skc17,skc18,skc20)], ssSkC0
  3: [agent(skc17,skc18,skc20)], ssSkC0
  4: [street(skc17,skc19)], ssSkC0
  5: [lonely(skc17,skc19)], ssSkC0
  6: [barrel(skc17,skc18)], ssSkC0
  7: [present(skc17,skc18)], ssSkC0
  8: [event(skc17,skc18)], ssSkC0
  9: [hollywood_placename(skc17,skc21)], ssSkC0
  10: [placename(skc17,skc21)], ssSkC0
  11: [old(skc17,skc20)], ssSkC0
  12: [dirty(skc17,skc20)], ssSkC0
  13: [white(skc17,skc20)], ssSkC0
  14: [chevy(skc17,skc20)], ssSkC0
  15: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [~(
city(skc17,skc20))]
  16: ~(down(skc17,skc18,skc19)), ~(of(skc17,skc21,skc20)), ~(in(skc17,skc18,skc20)), ~(
agent(skc17,skc18,skc20)), ~(street(skc17,skc19)), ~(lonely(skc17,skc19)), ~(
barrel(skc17,skc18)), ~(present(skc17,skc18)), ~(event(skc17,skc18)), ~(
hollywood_placename(skc17,skc21)), ~(placename(skc17,skc21)), ~(old(skc17,skc20)), ~(
dirty(skc17,skc20)), ~(white(skc17,skc20)), ~(chevy(skc17,skc20)), [ssSkC0]
  17: [actual_world(skc11)]
  18: [down(skc11,skc12,skc13)], ~(ssSkC0)
  19: [of(skc11,skc14,skc15)], ~(ssSkC0)
  20: [in(skc11,skc12,skc15)], ~(ssSkC0)
  21: [agent(skc11,skc12,skc16)], ~(ssSkC0)
  22: [lonely(skc11,skc13)], ~(ssSkC0)
  23: [street(skc11,skc13)], ~(ssSkC0)
  24: [city(skc11,skc15)], ~(ssSkC0)
  25: [placename(skc11,skc14)], ~(ssSkC0)
  26: [hollywood_placename(skc11,skc14)], ~(ssSkC0)
  27: [event(skc11,skc12)], ~(ssSkC0)
  28: [present(skc11,skc12)], ~(ssSkC0)
  29: [barrel(skc11,skc12)], ~(ssSkC0)
  30: [chevy(skc11,skc16)], ~(ssSkC0)
  31: [white(skc11,skc16)], ~(ssSkC0)
  32: [dirty(skc11,skc16)], ~(ssSkC0)
  33: [old(skc11,skc16)], ~(ssSkC0)
  34: [actual_world(skc17)]

SZS status Satisfiable