%---------------- 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,uri_ex_o)] Gamma_1: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] Gamma_2: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) Gamma_3: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] Gamma_4: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] Gamma_5: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) Gamma_6: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] Gamma_7: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) Gamma_8: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) Gamma_9: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) Gamma_10: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) Gamma_11: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] Gamma_12: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) Gamma_13: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) Gamma_14: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) Gamma_15: (extend-no-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~(icext(uri_rdfs_Resource,X0)) Gamma_16: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~(icext(uri_rdfs_Resource,X0)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_17: (move) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 16: [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~(icext(uri_rdfs_Resource,X0)) Gamma_18: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 16: [iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource)], ~(icext(uri_rdfs_Resource,uri_ex_p)) 17: top(X0) != uri_ex_p | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_19: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 16: [iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource)], ~(icext(uri_rdfs_Resource,uri_ex_p)) 17: top(X0) != uri_ex_p | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_20: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 17: top(X0) != uri_ex_p | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_21: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 17: top(X0) != uri_ex_p | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_22: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 17: [iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)], ~(icext(uri_rdfs_Resource,uri_ex_s)) 18: top(X0) != uri_ex_s | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_23: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~( icext(uri_rdfs_Resource,uri_ex_s))], ~(icext(uri_rdfs_Resource,uri_ex_p)) 18: top(X0) != uri_ex_s | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_24: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~( icext(uri_rdfs_Resource,uri_ex_s)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 18: top(X0) != uri_ex_s | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_25: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~( icext(uri_rdfs_Resource,uri_ex_s)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 18: [iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)], ~(icext(uri_rdfs_Resource,uri_ex_o)) 19: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_26: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~( icext(uri_rdfs_Resource,uri_ex_s)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(icext(uri_rdfs_Resource,uri_ex_o))], ~( icext(uri_rdfs_Resource,uri_ex_s)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 19: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_27: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~( icext(uri_rdfs_Resource,uri_ex_s)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 19: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_28: (move) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 15: [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~( icext(uri_rdfs_Resource,uri_ex_s)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 19: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_29: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 15: [icext(uri_rdfs_Resource,uri_ex_p)], ~(ir(uri_ex_p)) 16: top(X0) != uri_ex_p | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 19: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~( icext(uri_rdfs_Resource,uri_ex_s)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 20: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_30: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 15: [icext(uri_rdfs_Resource,uri_ex_p)], ~(ir(uri_ex_p)) 16: top(X0) != uri_ex_p | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 19: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource))], ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~( icext(uri_rdfs_Resource,uri_ex_s)), ~(icext(uri_rdfs_Resource,uri_ex_p)) 20: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_rdfs_Resource)], ~( icext(uri_rdfs_Resource,X0)) Gamma_31: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(ir(uri_ex_p))] 16: top(X0) != uri_ex_p | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_32: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), [~( icext(uri_rdfs_Resource,uri_ex_s))], ~(ir(uri_ex_p)) 16: top(X0) != uri_ex_p | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_33: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), [~( icext(uri_rdfs_Resource,uri_ex_s))], ~(ir(uri_ex_p)) 16: [icext(uri_rdfs_Resource,uri_ex_s)], ~(ir(uri_ex_s)) 17: top(X0) != uri_ex_s | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_34: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), [~( icext(uri_rdfs_Resource,uri_ex_s))], ~(ir(uri_ex_p)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), [~( ir(uri_ex_s))], ~(ir(uri_ex_p)) 17: top(X0) != uri_ex_s | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_35: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), [~( icext(uri_rdfs_Resource,uri_ex_s))], ~(ir(uri_ex_p)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(icext(uri_rdfs_Resource,uri_ex_o))], ~( ir(uri_ex_s)), ~(ir(uri_ex_p)) 17: top(X0) != uri_ex_s | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_36: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), [~( icext(uri_rdfs_Resource,uri_ex_s))], ~(ir(uri_ex_p)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(icext(uri_rdfs_Resource,uri_ex_o))], ~( ir(uri_ex_s)), ~(ir(uri_ex_p)) 17: [icext(uri_rdfs_Resource,uri_ex_o)], ~(ir(uri_ex_o)) 18: top(X0) != uri_ex_o | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 19: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_37: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), [~( icext(uri_rdfs_Resource,uri_ex_s))], ~(ir(uri_ex_p)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(icext(uri_rdfs_Resource,uri_ex_o))], ~( ir(uri_ex_s)), ~(ir(uri_ex_p)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(ir(uri_ex_o))], ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 18: top(X0) != uri_ex_o | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 19: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_38: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), [~( icext(uri_rdfs_Resource,uri_ex_s))], ~(ir(uri_ex_p)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(icext(uri_rdfs_Resource,uri_ex_o))], ~( ir(uri_ex_s)), ~(ir(uri_ex_p)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 18: top(X0) != uri_ex_o | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 19: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_39: (move) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: [iext(uri_rdf_type,X0,uri_owl_Thing)], ~(icext(uri_owl_Thing,X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), [~( icext(uri_rdfs_Resource,uri_ex_s))], ~(ir(uri_ex_p)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(icext(uri_rdfs_Resource,uri_ex_o))], ~( ir(uri_ex_s)), ~(ir(uri_ex_p)) 18: top(X0) != uri_ex_o | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 19: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_40: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: [iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)], ~(icext(uri_owl_Thing,uri_ex_p)) 15: top(X0) != uri_ex_p | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), [~( icext(uri_rdfs_Resource,uri_ex_s))], ~(ir(uri_ex_p)) 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(icext(uri_rdfs_Resource,uri_ex_o))], ~( ir(uri_ex_s)), ~(ir(uri_ex_p)) 19: top(X0) != uri_ex_o | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 20: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_41: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: [iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)], ~(icext(uri_owl_Thing,uri_ex_p)) 15: top(X0) != uri_ex_p | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), ~( icext(uri_rdfs_Resource,uri_ex_s)), [~(icext(uri_rdfs_Resource,uri_ex_p))] 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), ~(icext(uri_rdfs_Resource,uri_ex_o)), [~( icext(uri_rdfs_Resource,uri_ex_s))], ~(ir(uri_ex_p)) 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(icext(uri_rdfs_Resource,uri_ex_o))], ~( ir(uri_ex_s)), ~(ir(uri_ex_p)) 19: top(X0) != uri_ex_o | [icext(uri_rdfs_Resource,X0)], ~(ir(X0)) 20: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_o,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_rdfs_Resource)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_p,uri_rdfs_Resource))] Gamma_42: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 15: top(X0) != uri_ex_p | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) Gamma_43: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 15: top(X0) != uri_ex_p | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) Gamma_44: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 15: [iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)], ~(icext(uri_owl_Thing,uri_ex_s)) 16: top(X0) != uri_ex_s | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) Gamma_45: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~(icext(uri_owl_Thing,uri_ex_s))], ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 16: top(X0) != uri_ex_s | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) Gamma_46: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 15: [~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing))], ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(icext(uri_owl_Thing,uri_ex_s)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 16: top(X0) != uri_ex_s | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) Gamma_47: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 15: [~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing))], ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(icext(uri_owl_Thing,uri_ex_s)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 16: [iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)], ~(icext(uri_owl_Thing,uri_ex_o)) 17: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) Gamma_48: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 15: [~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing))], ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(icext(uri_owl_Thing,uri_ex_s)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 16: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( icext(uri_owl_Thing,uri_ex_o))], ~(icext(uri_owl_Thing,uri_ex_s)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 17: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) Gamma_49: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 13: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 15: [~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing))], ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(icext(uri_owl_Thing,uri_ex_s)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 16: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 17: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) Gamma_50: (move) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 13: [icext(uri_owl_Thing,X0)], ~(ir(X0)) 14: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 16: [~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing))], ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(icext(uri_owl_Thing,uri_ex_s)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 17: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) Gamma_51: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 13: [icext(uri_owl_Thing,uri_ex_p)], ~(ir(uri_ex_p)) 14: top(X0) != uri_ex_p | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 17: [~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing))], ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(icext(uri_owl_Thing,uri_ex_s)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 18: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) Gamma_52: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 13: [icext(uri_owl_Thing,uri_ex_p)], ~(ir(uri_ex_p)) 14: top(X0) != uri_ex_p | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), [~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing))], ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 17: [~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing))], ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~( iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~(icext(uri_owl_Thing,uri_ex_s)), ~( icext(uri_owl_Thing,uri_ex_p)), ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 18: top(X0) != uri_ex_o | [iext(uri_rdf_type,X0,uri_owl_Thing)], ~( icext(uri_owl_Thing,X0)) Gamma_53: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), ~(ir(uri_ex_o)), ~( ir(uri_ex_s)), [~(ir(uri_ex_p))] 14: top(X0) != uri_ex_p | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) Gamma_54: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), [~(icext(uri_owl_Thing,uri_ex_s))], ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 14: top(X0) != uri_ex_p | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 15: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) Gamma_55: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), [~(icext(uri_owl_Thing,uri_ex_s))], ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 14: [icext(uri_owl_Thing,uri_ex_s)], ~(ir(uri_ex_s)) 15: top(X0) != uri_ex_s | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) Gamma_56: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), [~(icext(uri_owl_Thing,uri_ex_s))], ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(ir(uri_ex_o)), [~(ir(uri_ex_s))], ~( ir(uri_ex_p)) 15: top(X0) != uri_ex_s | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) Gamma_57: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), [~(icext(uri_owl_Thing,uri_ex_s))], ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( icext(uri_owl_Thing,uri_ex_o))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 15: top(X0) != uri_ex_s | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 16: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) Gamma_58: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), [~(icext(uri_owl_Thing,uri_ex_s))], ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( icext(uri_owl_Thing,uri_ex_o))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 15: [icext(uri_owl_Thing,uri_ex_o)], ~(ir(uri_ex_o)) 16: top(X0) != uri_ex_o | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) Gamma_59: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), [~(icext(uri_owl_Thing,uri_ex_s))], ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( icext(uri_owl_Thing,uri_ex_o))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 15: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( ir(uri_ex_o))], ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 16: top(X0) != uri_ex_o | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) Gamma_60: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: [ir(X0)] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), [~(icext(uri_owl_Thing,uri_ex_s))], ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( icext(uri_owl_Thing,uri_ex_o))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 15: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 16: top(X0) != uri_ex_o | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) Gamma_61: (move) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 12: [ir(X0)] 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 14: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), [~(icext(uri_owl_Thing,uri_ex_s))], ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 15: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( icext(uri_owl_Thing,uri_ex_o))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 16: top(X0) != uri_ex_o | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 17: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) Gamma_62: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 12: [ir(uri_ex_p)] 13: top(X0) != uri_ex_p | [ir(X0)] 14: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 15: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), [~(icext(uri_owl_Thing,uri_ex_s))], ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 16: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( icext(uri_owl_Thing,uri_ex_o))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 17: top(X0) != uri_ex_o | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) Gamma_63: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 12: [ir(uri_ex_p)] 13: top(X0) != uri_ex_p | [ir(X0)] 14: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), ~(icext(uri_owl_Thing,uri_ex_s)), [~( icext(uri_owl_Thing,uri_ex_p))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 15: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( icext(uri_owl_Thing,uri_ex_o)), [~(icext(uri_owl_Thing,uri_ex_s))], ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), ~(ir(uri_ex_p)) 16: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( icext(uri_owl_Thing,uri_ex_o))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) 17: top(X0) != uri_ex_o | [icext(uri_owl_Thing,X0)], ~(ir(X0)) 18: ~(iext(uri_rdf_type,uri_ex_o,uri_owl_Thing)), ~(iext(uri_rdf_type,uri_ex_s,uri_owl_Thing)), ~( iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( iext(uri_rdf_type,uri_ex_p,uri_owl_Thing))], ~(ir(uri_ex_o)), ~(ir(uri_ex_s)), ~( ir(uri_ex_p)) Gamma_64: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 12: [~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property))], ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)) 13: top(X0) != uri_ex_p | [ir(X0)] Gamma_65: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), [~(ir(uri_ex_s))] 13: top(X0) != uri_ex_p | [ir(X0)] Gamma_66: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), [~(ir(uri_ex_s))] 13: [ir(uri_ex_s)] 14: top(X0) != uri_ex_s | [ir(X0)] Gamma_67: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), [~(ir(uri_ex_s))] 13: [~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property))], ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)) 14: top(X0) != uri_ex_s | [ir(X0)] Gamma_68: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), [~(ir(uri_ex_s))] 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( ir(uri_ex_o))] 14: top(X0) != uri_ex_s | [ir(X0)] Gamma_69: (right-split) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), [~(ir(uri_ex_s))] 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( ir(uri_ex_o))] 14: [ir(uri_ex_o)] 15: top(X0) != uri_ex_o | [ir(X0)] Gamma_70: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), [~(ir(uri_ex_s))] 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( ir(uri_ex_o))] 14: [~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property))], ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)) 15: top(X0) != uri_ex_o | [ir(X0)] Gamma_71: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), [~(ir(uri_ex_s))] 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( ir(uri_ex_o))] 14: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty))] 15: top(X0) != uri_ex_o | [ir(X0)] Gamma_72: (move) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty))] 11: [iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_ex_p)) 12: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), ~(ir(uri_ex_s)), [~(ir(uri_ex_p))] 13: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), ~( ir(uri_ex_o)), [~(ir(uri_ex_s))] 14: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), ~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty)), [~( ir(uri_ex_o))] 15: top(X0) != uri_ex_o | [ir(X0)] Gamma_73: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty))] 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(icext(uri_owl_ObjectProperty,uri_ex_p))] Gamma_74: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 10: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty))] 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(icext(uri_owl_ObjectProperty,uri_ex_p))] Gamma_75: (move) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(icext(uri_owl_ObjectProperty,uri_ex_p))] 10: [icext(uri_owl_ObjectProperty,uri_ex_p)], ~(ip(uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty))] Gamma_76: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(icext(uri_owl_ObjectProperty,uri_ex_p))] 10: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(ip(uri_ex_p))] 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty))] Gamma_77: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 3: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 5: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 6: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 7: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 8: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 9: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(icext(uri_owl_ObjectProperty,uri_ex_p))] 10: [~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property))], ~(ip(uri_ex_p)) 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty))] Gamma_78: (move) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property))], ~(ip(uri_ex_p)) 3: [iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)], ~(ip(uri_ex_p)) 4: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [icext(uri_rdf_Property, uri_ex_p)] 5: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [ip(uri_rdf_type)] 6: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 7: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 8: [icext(uri_owl_ObjectProperty,uri_rdf_type)], ~(ip(uri_rdf_type)) 9: [iext(uri_rdf_type,uri_rdf_type,uri_owl_ObjectProperty)], ~(icext(uri_owl_ObjectProperty,uri_rdf_type)) 10: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(icext(uri_owl_ObjectProperty,uri_ex_p))] 11: ~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property)), [~(iext(uri_rdf_type,uri_ex_p,uri_owl_ObjectProperty))] Gamma_79: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property))], ~(ip(uri_ex_p)) 3: [~(ip(uri_ex_p))] Gamma_80: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 2: [~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property))], ~(ip(uri_ex_p)) 3: [~(ip(uri_ex_p))] Gamma_81: (move) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: [~(ip(uri_ex_p))] 2: ~(iext(uri_ex_p,uri_ex_s,uri_ex_o)), [ip(uri_ex_p)] 3: [~(iext(uri_rdf_type,uri_ex_p,uri_rdf_Property))], ~(ip(uri_ex_p)) Gamma_82: (resolve) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: [~(ip(uri_ex_p))] 2: [~(iext(uri_ex_p,uri_ex_s,uri_ex_o))] Gamma_83: (extend-conflict) 0: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 1: [~(ip(uri_ex_p))] 2: [~(iext(uri_ex_p,uri_ex_s,uri_ex_o))] Gamma_84: (move) 0: [~(iext(uri_ex_p,uri_ex_s,uri_ex_o))] 1: [iext(uri_ex_p,uri_ex_s,uri_ex_o)] 2: [~(ip(uri_ex_p))] Gamma_85: (resolve) 0: [~(iext(uri_ex_p,uri_ex_s,uri_ex_o))] 1: [] 2: [~(ip(uri_ex_p))] SZS status Unsatisfiable