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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]

Gamma_1: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]

Gamma_2: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))

Gamma_3: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]

Gamma_4: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))

Gamma_5: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))

Gamma_6: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]

Gamma_7: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]

Gamma_8: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]
  8: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type))

Gamma_9: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]
  8: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type))
  9: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type))

Gamma_10: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]
  8: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type))
  9: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type))
  10: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_rdf_type)]

Gamma_11: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]
  8: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type))
  9: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type))
  10: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_rdf_type)]
  11: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p))

Gamma_12: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]
  8: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type))
  9: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type))
  10: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_rdf_type)]
  11: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p))
  12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_ex_p)]

Gamma_13: (extend-no-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]
  8: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type))
  9: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type))
  10: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_rdf_type)]
  11: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p))
  12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_ex_p)]
  13: [iext(uri_ex_q,esk1_0,uri_ex_s)]

Gamma_14: (extend-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]
  8: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type))
  9: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type))
  10: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_rdf_type)]
  11: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p))
  12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_ex_p)]
  13: [iext(uri_ex_q,esk1_0,uri_ex_s)]
  14: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [~(iext(uri_ex_q,esk1_0,uri_ex_s))]

Gamma_15: (move)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]
  8: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type))
  9: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type))
  10: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_rdf_type)]
  11: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p))
  12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_ex_p)]
  13: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [~(iext(uri_ex_q,esk1_0,uri_ex_s))]
  14: [iext(uri_ex_q,esk1_0,uri_ex_s)]

Gamma_16: (resolve)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]
  8: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type))
  9: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type))
  10: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_rdf_type)]
  11: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p))
  12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_ex_p)]
  13: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [~(iext(uri_ex_q,esk1_0,uri_ex_s))]
  14: [~(iext(uri_ex_p,uri_ex_s,esk1_0))]

Gamma_17: (extend-conflict)
  0: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  1: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  2: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  3: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  5: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  6: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]
  8: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type))
  9: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type))
  10: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_rdf_type)]
  11: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p))
  12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_ex_p)]
  13: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [~(iext(uri_ex_q,esk1_0,uri_ex_s))]
  14: [~(iext(uri_ex_p,uri_ex_s,esk1_0))]

Gamma_18: (move)
  0: [~(iext(uri_ex_p,uri_ex_s,esk1_0))]
  1: [iext(uri_ex_p,uri_ex_s,esk1_0)]
  2: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [ip(uri_ex_p)]
  3: [iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)], ~(ip(uri_ex_p))
  4: ~(iext(uri_rdfs_subPropertyOf,uri_ex_p,uri_ex_p)), [ip(uri_rdfs_subPropertyOf)]
  5: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~(
ip(uri_rdfs_subPropertyOf))
  6: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~(
ip(uri_rdfs_subPropertyOf))
  7: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext(
uri_rdf_Property,uri_rdfs_subPropertyOf)]
  8: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip(
uri_rdf_type)]
  9: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type))
  10: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type))
  11: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_rdf_type)]
  12: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p))
  13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property,
uri_ex_p)]
  14: ~(iext(uri_ex_p,uri_ex_s,esk1_0)), [~(iext(uri_ex_q,esk1_0,uri_ex_s))]

Gamma_19: (resolve)
  0: [~(iext(uri_ex_p,uri_ex_s,esk1_0))]
  1: []

SZS status Unsatisfiable