TSTP Solution File: SWB004+4 by Bliksem---1.12
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Bliksem---1.12
% Problem : SWB004+4 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : bliksem %s
% Computer : n029.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 0s
% DateTime : Tue Jul 19 18:47:29 EDT 2022
% Result : CounterSatisfiable 0.68s 1.07s
% Output : Saturation 0.68s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : SWB004+4 : TPTP v8.1.0. Released v5.2.0.
% 0.11/0.12 % Command : bliksem %s
% 0.12/0.33 % Computer : n029.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % DateTime : Wed Jun 1 13:20:00 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.68/1.06 *** allocated 10000 integers for termspace/termends
% 0.68/1.06 *** allocated 10000 integers for clauses
% 0.68/1.06 *** allocated 10000 integers for justifications
% 0.68/1.06 Bliksem 1.12
% 0.68/1.06
% 0.68/1.06
% 0.68/1.06 Automatic Strategy Selection
% 0.68/1.06
% 0.68/1.06
% 0.68/1.06 Clauses:
% 0.68/1.06
% 0.68/1.06 { ! iext( X, Y, Z ), ip( X ) }.
% 0.68/1.06 { ir( X ) }.
% 0.68/1.06 { ! lv( X ), ir( X ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf_first, uri_rdf_Property ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf_nil, uri_rdf_List ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf_rest, uri_rdf_Property ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf__1, uri_rdf_Property ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf__2, uri_rdf_Property ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf__3, uri_rdf_Property ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf_object, uri_rdf_Property ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf_value, uri_rdf_Property ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf_subject, uri_rdf_Property ) }.
% 0.68/1.06 { ! iext( uri_rdf_type, X, uri_rdf_Property ), ip( X ) }.
% 0.68/1.06 { ! ip( X ), iext( uri_rdf_type, X, uri_rdf_Property ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf_type, uri_rdf_Property ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf_type, uri_rdf_Property ) }.
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal ) }.
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso ) }
% 0.68/1.06 .
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal ) }.
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource ) }.
% 0.68/1.06 { ! iext( uri_rdf_type, X, Y ), icext( Y, X ) }.
% 0.68/1.06 { ! icext( Y, X ), iext( uri_rdf_type, X, Y ) }.
% 0.68/1.06 { ! ic( X ), iext( uri_rdfs_subClassOf, X, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdf_first, uri_rdf_List ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdf_rest, uri_rdf_List ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdf_rest, uri_rdf_List ) }.
% 0.68/1.06 { iext( uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container ) }.
% 0.68/1.06 { iext( uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container ) }.
% 0.68/1.06 { ! icext( uri_rdfs_ContainerMembershipProperty, X ), iext(
% 0.68/1.06 uri_rdfs_subPropertyOf, X, uri_rdfs_member ) }.
% 0.68/1.06 { iext( uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty,
% 0.68/1.06 uri_rdf_Property ) }.
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty ) }
% 0.68/1.06 .
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty ) }
% 0.68/1.06 .
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty ) }
% 0.68/1.06 .
% 0.68/1.06 { iext( uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container ) }.
% 0.68/1.06 { iext( uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype ) }.
% 0.68/1.06 { ! icext( uri_rdfs_Datatype, X ), iext( uri_rdfs_subClassOf, X,
% 0.68/1.06 uri_rdfs_Literal ) }.
% 0.68/1.06 { iext( uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class ) }.
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property ) }.
% 0.68/1.06 { ! iext( uri_rdfs_domain, Z, X ), ! iext( Z, Y, T ), icext( X, Y ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class ) }.
% 0.68/1.06 { ! ic( X ), icext( uri_rdfs_Class, X ) }.
% 0.68/1.06 { ! icext( uri_rdfs_Class, X ), ic( X ) }.
% 0.68/1.06 { ! ir( X ), icext( uri_rdfs_Resource, X ) }.
% 0.68/1.06 { ! icext( uri_rdfs_Resource, X ), ir( X ) }.
% 0.68/1.06 { ! lv( X ), icext( uri_rdfs_Literal, X ) }.
% 0.68/1.06 { ! icext( uri_rdfs_Literal, X ), lv( X ) }.
% 0.68/1.06 { iext( uri_rdf_type, uri_rdf_Property, uri_rdfs_Class ) }.
% 0.68/1.06 { iext( uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property ) }.
% 0.68/1.06 { ! iext( uri_rdfs_range, Z, X ), ! iext( Z, T, Y ), icext( X, Y ) }.
% 0.68/1.06 { iext( uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class ) }.
% 0.68/1.07 { iext( uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement ) }.
% 0.68/1.07 { iext( uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource ) }.
% 0.68/1.07 { iext( uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement ) }.
% 0.68/1.07 { iext( uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource ) }.
% 0.68/1.07 { iext( uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement ) }.
% 0.68/1.07 { iext( uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource ) }.
% 0.68/1.07 { iext( uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class ) }.
% 0.68/1.07 { ! iext( uri_rdfs_subClassOf, X, Y ), ic( X ) }.
% 0.68/1.07 { ! iext( uri_rdfs_subClassOf, X, Y ), ic( Y ) }.
% 0.68/1.07 { ! iext( uri_rdfs_subClassOf, X, Y ), ! icext( X, Z ), icext( Y, Z ) }.
% 0.68/1.07 { iext( uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class ) }.
% 0.68/1.07 { ! ic( X ), iext( uri_rdfs_subClassOf, X, X ) }.
% 0.68/1.07 { ! iext( uri_rdfs_subClassOf, X, Z ), ! iext( uri_rdfs_subClassOf, Z, Y )
% 0.68/1.07 , iext( uri_rdfs_subClassOf, X, Y ) }.
% 0.68/1.07 { iext( uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property ) }.
% 0.68/1.07 { ! iext( uri_rdfs_subPropertyOf, X, Y ), ip( X ) }.
% 0.68/1.07 { ! iext( uri_rdfs_subPropertyOf, X, Y ), ip( Y ) }.
% 0.68/1.07 { ! iext( uri_rdfs_subPropertyOf, X, Y ), ! iext( X, Z, T ), iext( Y, Z, T
% 0.68/1.07 ) }.
% 0.68/1.07 { iext( uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property ) }.
% 0.68/1.07 { ! ip( X ), iext( uri_rdfs_subPropertyOf, X, X ) }.
% 0.68/1.07 { ! iext( uri_rdfs_subPropertyOf, X, Z ), ! iext( uri_rdfs_subPropertyOf, Z
% 0.68/1.07 , Y ), iext( uri_rdfs_subPropertyOf, X, Y ) }.
% 0.68/1.07 { iext( uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource ) }.
% 0.68/1.07 { iext( uri_rdfs_range, uri_rdf_type, uri_rdfs_Class ) }.
% 0.68/1.07 { iext( uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource ) }.
% 0.68/1.07 { iext( uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource ) }.
% 0.68/1.07 { ! iext( uri_rdf_type, uri_owl_Class, uri_owl_Thing ), ! iext(
% 0.68/1.07 uri_rdf_type, uri_owl_Class, uri_owl_Class ), ! iext( uri_rdfs_subClassOf
% 0.68/1.07 , uri_owl_Class, uri_owl_Thing ), ! iext( uri_owl_equivalentClass,
% 0.68/1.07 uri_owl_Class, uri_rdfs_Class ), ! iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Datatype, uri_owl_Class ) }.
% 0.68/1.07
% 0.68/1.07 percentage equality = 0.000000, percentage horn = 1.000000
% 0.68/1.07 This is a near-Horn, non-equality problem
% 0.68/1.07
% 0.68/1.07
% 0.68/1.07 Options Used:
% 0.68/1.07
% 0.68/1.07 useres = 1
% 0.68/1.07 useparamod = 0
% 0.68/1.07 useeqrefl = 0
% 0.68/1.07 useeqfact = 0
% 0.68/1.07 usefactor = 1
% 0.68/1.07 usesimpsplitting = 0
% 0.68/1.07 usesimpdemod = 0
% 0.68/1.07 usesimpres = 4
% 0.68/1.07
% 0.68/1.07 resimpinuse = 1000
% 0.68/1.07 resimpclauses = 20000
% 0.68/1.07 substype = standard
% 0.68/1.07 backwardsubs = 1
% 0.68/1.07 selectoldest = 5
% 0.68/1.07
% 0.68/1.07 litorderings [0] = split
% 0.68/1.07 litorderings [1] = liftord
% 0.68/1.07
% 0.68/1.07 termordering = none
% 0.68/1.07
% 0.68/1.07 litapriori = 1
% 0.68/1.07 termapriori = 0
% 0.68/1.07 litaposteriori = 0
% 0.68/1.07 termaposteriori = 0
% 0.68/1.07 demodaposteriori = 0
% 0.68/1.07 ordereqreflfact = 0
% 0.68/1.07
% 0.68/1.07 litselect = negative
% 0.68/1.07
% 0.68/1.07 maxweight = 30000
% 0.68/1.07 maxdepth = 30000
% 0.68/1.07 maxlength = 115
% 0.68/1.07 maxnrvars = 195
% 0.68/1.07 excuselevel = 0
% 0.68/1.07 increasemaxweight = 0
% 0.68/1.07
% 0.68/1.07 maxselected = 10000000
% 0.68/1.07 maxnrclauses = 10000000
% 0.68/1.07
% 0.68/1.07 showgenerated = 0
% 0.68/1.07 showkept = 0
% 0.68/1.07 showselected = 0
% 0.68/1.07 showdeleted = 0
% 0.68/1.07 showresimp = 1
% 0.68/1.07 showstatus = 2000
% 0.68/1.07
% 0.68/1.07 prologoutput = 0
% 0.68/1.07 nrgoals = 5000000
% 0.68/1.07 totalproof = 1
% 0.68/1.07
% 0.68/1.07 Symbols occurring in the translation:
% 0.68/1.07
% 0.68/1.07 {} [0, 0] (w:1, o:2, a:1, s:1, b:0),
% 0.68/1.07 . [1, 2] (w:1, o:61, a:1, s:1, b:0),
% 0.68/1.07 ! [4, 1] (w:1, o:52, a:1, s:1, b:0),
% 0.68/1.07 = [13, 2] (w:1, o:0, a:0, s:1, b:0),
% 0.68/1.07 ==> [14, 2] (w:1, o:0, a:0, s:1, b:0),
% 0.68/1.07 iext [38, 3] (w:1, o:86, a:1, s:1, b:0),
% 0.68/1.07 ip [39, 1] (w:1, o:57, a:1, s:1, b:0),
% 0.68/1.07 ir [41, 1] (w:1, o:58, a:1, s:1, b:0),
% 0.68/1.07 lv [42, 1] (w:1, o:59, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_type [43, 0] (w:1, o:12, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_first [44, 0] (w:1, o:13, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_Property [45, 0] (w:1, o:14, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_nil [46, 0] (w:1, o:15, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_List [47, 0] (w:1, o:16, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_rest [48, 0] (w:1, o:17, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf__1 [49, 0] (w:1, o:18, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf__2 [50, 0] (w:1, o:19, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf__3 [51, 0] (w:1, o:20, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_object [52, 0] (w:1, o:21, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_value [53, 0] (w:1, o:22, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_subject [54, 0] (w:1, o:11, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_domain [55, 0] (w:1, o:24, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_comment [56, 0] (w:1, o:23, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_Resource [57, 0] (w:1, o:25, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_range [58, 0] (w:1, o:26, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_Literal [59, 0] (w:1, o:27, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_isDefinedBy [60, 0] (w:1, o:28, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_subPropertyOf [61, 0] (w:1, o:29, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_seeAlso [62, 0] (w:1, o:30, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_label [63, 0] (w:1, o:31, a:1, s:1, b:0),
% 0.68/1.07 icext [65, 2] (w:1, o:85, a:1, s:1, b:0),
% 0.68/1.07 ic [66, 1] (w:1, o:60, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_subClassOf [67, 0] (w:1, o:33, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_Alt [68, 0] (w:1, o:34, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_Container [69, 0] (w:1, o:35, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_Bag [70, 0] (w:1, o:36, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty [71, 0] (w:1, o:37, a:1, s:1, b:
% 0.68/1.07 0),
% 0.68/1.07 uri_rdfs_member [72, 0] (w:1, o:38, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_Seq [73, 0] (w:1, o:39, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_XMLLiteral [74, 0] (w:1, o:40, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_Datatype [75, 0] (w:1, o:42, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_Class [77, 0] (w:1, o:41, a:1, s:1, b:0),
% 0.68/1.07 uri_rdfs_Statement [79, 0] (w:1, o:45, a:1, s:1, b:0),
% 0.68/1.07 uri_rdf_predicate [80, 0] (w:1, o:46, a:1, s:1, b:0),
% 0.68/1.07 uri_owl_Class [84, 0] (w:1, o:49, a:1, s:1, b:0),
% 0.68/1.07 uri_owl_Thing [85, 0] (w:1, o:50, a:1, s:1, b:0),
% 0.68/1.07 uri_owl_equivalentClass [86, 0] (w:1, o:51, a:1, s:1, b:0).
% 0.68/1.07
% 0.68/1.07
% 0.68/1.07 Starting Search:
% 0.68/1.07
% 0.68/1.07 *** allocated 15000 integers for clauses
% 0.68/1.07 *** allocated 22500 integers for clauses
% 0.68/1.07 *** allocated 33750 integers for clauses
% 0.68/1.07 Resimplifying inuse:
% 0.68/1.07 Done
% 0.68/1.07
% 0.68/1.07
% 0.68/1.07
% 0.68/1.07 found a saturation!
% 0.68/1.07 % SZS status CounterSatisfiable
% 0.68/1.07 % SZS output start Saturation
% 0.68/1.07
% 0.68/1.07 (357) {G1,W9,D2,L2,V1,M1} R(77,84) { iext( X, uri_rdf_value,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X )
% 0.68/1.07 }.
% 0.68/1.07 (356) {G1,W9,D2,L2,V1,M1} R(77,83) { iext( X, uri_rdf_value,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X )
% 0.68/1.07 }.
% 0.68/1.07 (355) {G1,W9,D2,L2,V1,M1} R(77,82) { iext( X, uri_rdf_type, uri_rdfs_Class
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X ) }.
% 0.68/1.07 (354) {G1,W9,D2,L2,V1,M1} R(77,81) { iext( X, uri_rdf_type,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X )
% 0.68/1.07 }.
% 0.68/1.07 (353) {G1,W9,D2,L2,V1,M1} R(77,78) { iext( X, uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X )
% 0.68/1.07 }.
% 0.68/1.07 (352) {G1,W9,D2,L2,V1,M1} R(77,2) { iext( X, uri_rdf_first,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (351) {G1,W9,D2,L2,V1,M1} R(77,74) { iext( X, uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X )
% 0.68/1.07 }.
% 0.68/1.07 (350) {G1,W9,D2,L2,V1,M1} R(77,71) { iext( X, uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X ) }.
% 0.68/1.07 (349) {G1,W9,D2,L2,V1,M1} R(77,67) { iext( X, uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X )
% 0.68/1.07 }.
% 0.68/1.07 (348) {G1,W9,D2,L2,V1,M1} R(77,3) { iext( X, uri_rdf_nil, uri_rdf_List ), !
% 0.68/1.07 iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (347) {G1,W9,D2,L2,V1,M1} R(77,66) { iext( X, uri_rdf_subject,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X )
% 0.68/1.07 }.
% 0.68/1.07 (346) {G1,W9,D2,L2,V1,M1} R(77,65) { iext( X, uri_rdf_subject,
% 0.68/1.07 uri_rdfs_Statement ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X
% 0.68/1.07 ) }.
% 0.68/1.07 (345) {G1,W9,D2,L2,V1,M1} R(77,64) { iext( X, uri_rdf_predicate,
% 0.68/1.07 uri_rdfs_Statement ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X
% 0.68/1.07 ) }.
% 0.68/1.07 (344) {G1,W9,D2,L2,V1,M1} R(77,63) { iext( X, uri_rdf_predicate,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X )
% 0.68/1.07 }.
% 0.68/1.07 (343) {G1,W9,D2,L2,V1,M1} R(77,4) { iext( X, uri_rdf_rest, uri_rdf_Property
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (342) {G1,W9,D2,L2,V1,M1} R(77,62) { iext( X, uri_rdf_object,
% 0.68/1.07 uri_rdfs_Statement ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X
% 0.68/1.07 ) }.
% 0.68/1.07 (341) {G1,W9,D2,L2,V1,M1} R(77,61) { iext( X, uri_rdfs_range,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X ) }.
% 0.68/1.07 (340) {G1,W9,D2,L2,V1,M1} R(77,59) { iext( X, uri_rdfs_range,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X )
% 0.68/1.07 }.
% 0.68/1.07 (339) {G1,W9,D2,L2,V1,M1} R(77,58) { iext( X, uri_rdf_Property,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (338) {G1,W9,D2,L2,V1,M1} R(77,5) { iext( X, uri_rdf__1, uri_rdf_Property )
% 0.68/1.07 , ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (337) {G1,W9,D2,L2,V1,M1} R(77,52) { iext( X, uri_rdfs_domain,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X ) }.
% 0.68/1.07 (336) {G1,W9,D2,L2,V1,M1} R(77,50) { iext( X, uri_rdfs_domain,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X )
% 0.68/1.07 }.
% 0.68/1.07 (335) {G1,W9,D2,L2,V1,M1} R(77,49) { iext( X, uri_rdfs_Datatype,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X
% 0.68/1.07 ) }.
% 0.68/1.07 (334) {G1,W9,D2,L2,V1,M1} R(77,6) { iext( X, uri_rdf__2, uri_rdf_Property )
% 0.68/1.07 , ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (333) {G1,W9,D2,L2,V1,M1} R(77,47) { iext( X, uri_rdf_XMLLiteral,
% 0.68/1.07 uri_rdfs_Datatype ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X )
% 0.68/1.07 }.
% 0.68/1.07 (332) {G1,W9,D2,L2,V1,M1} R(77,46) { iext( X, uri_rdf_XMLLiteral,
% 0.68/1.07 uri_rdfs_Literal ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf,
% 0.68/1.07 X ) }.
% 0.68/1.07 (331) {G1,W9,D2,L2,V1,M1} R(77,45) { iext( X, uri_rdfs_Seq,
% 0.68/1.07 uri_rdfs_Container ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (330) {G1,W9,D2,L2,V1,M1} R(77,44) { iext( X, uri_rdf__3,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ), ! iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_type, X ) }.
% 0.68/1.07 (329) {G1,W9,D2,L2,V1,M1} R(77,7) { iext( X, uri_rdf__3, uri_rdf_Property )
% 0.68/1.07 , ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (328) {G1,W9,D2,L2,V1,M1} R(77,43) { iext( X, uri_rdf__2,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ), ! iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_type, X ) }.
% 0.68/1.07 (327) {G1,W9,D2,L2,V1,M1} R(77,42) { iext( X, uri_rdf__1,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ), ! iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_type, X ) }.
% 0.68/1.07 (326) {G1,W9,D2,L2,V1,M1} R(77,41) { iext( X, uri_rdf__3, uri_rdfs_Resource
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X ) }.
% 0.68/1.07 (325) {G1,W9,D2,L2,V1,M1} R(77,40) { iext( X, uri_rdf__2, uri_rdfs_Resource
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X ) }.
% 0.68/1.07 (324) {G1,W9,D2,L2,V1,M1} R(77,8) { iext( X, uri_rdf_object,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (323) {G1,W9,D2,L2,V1,M1} R(77,39) { iext( X, uri_rdf__1, uri_rdfs_Resource
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X ) }.
% 0.68/1.07 (322) {G1,W9,D2,L2,V1,M1} R(77,38) { iext( X, uri_rdf__3, uri_rdfs_Resource
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X ) }.
% 0.68/1.07 (321) {G1,W9,D2,L2,V1,M1} R(77,37) { iext( X, uri_rdf__2, uri_rdfs_Resource
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X ) }.
% 0.68/1.07 (320) {G1,W9,D2,L2,V1,M1} R(77,36) { iext( X, uri_rdf__1, uri_rdfs_Resource
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X ) }.
% 0.68/1.07 (319) {G1,W9,D2,L2,V1,M1} R(77,9) { iext( X, uri_rdf_value,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (318) {G1,W9,D2,L2,V1,M1} R(77,35) { iext( X, uri_rdfs_member,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X )
% 0.68/1.07 }.
% 0.68/1.07 (317) {G1,W9,D2,L2,V1,M1} R(77,34) { iext( X, uri_rdfs_member,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X )
% 0.68/1.07 }.
% 0.68/1.07 (316) {G1,W9,D2,L2,V1,M1} R(77,33) { iext( X,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty, uri_rdf_Property ), ! iext(
% 0.68/1.07 uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (315) {G1,W9,D2,L2,V1,M1} R(77,31) { iext( X, uri_rdf_Bag,
% 0.68/1.07 uri_rdfs_Container ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (314) {G1,W9,D2,L2,V1,M1} R(77,10) { iext( X, uri_rdf_subject,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (313) {G1,W9,D2,L2,V1,M1} R(77,30) { iext( X, uri_rdf_Alt,
% 0.68/1.07 uri_rdfs_Container ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (312) {G1,W9,D2,L2,V1,M1} R(77,29) { iext( X, uri_rdf_rest, uri_rdf_List )
% 0.68/1.07 , ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X ) }.
% 0.68/1.07 (311) {G1,W9,D2,L2,V1,M1} R(77,28) { iext( X, uri_rdf_rest, uri_rdf_List )
% 0.68/1.07 , ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X ) }.
% 0.68/1.07 (310) {G1,W9,D2,L2,V1,M1} R(77,27) { iext( X, uri_rdf_first,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X )
% 0.68/1.07 }.
% 0.68/1.07 (309) {G1,W9,D2,L2,V1,M1} R(77,13) { iext( X, uri_rdf_type,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (308) {G3,W9,D2,L2,V1,M1} R(77,101) { iext( X, uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (307) {G3,W9,D2,L2,V1,M1} R(77,102) { iext( X, uri_rdfs_domain,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (306) {G3,W9,D2,L2,V1,M1} R(77,103) { iext( X, uri_rdfs_range,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (305) {G1,W9,D2,L2,V1,M1} R(77,26) { iext( X, uri_rdf_first, uri_rdf_List )
% 0.68/1.07 , ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X ) }.
% 0.68/1.07 (304) {G1,W9,D2,L2,V1,M1} R(77,14) { iext( X, uri_rdfs_comment,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X )
% 0.68/1.07 }.
% 0.68/1.07 (303) {G1,W9,D2,L2,V1,M1} R(77,22) { iext( X, uri_rdfs_seeAlso,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X )
% 0.68/1.07 }.
% 0.68/1.07 (302) {G1,W9,D2,L2,V1,M1} R(77,21) { iext( X, uri_rdfs_seeAlso,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X )
% 0.68/1.07 }.
% 0.68/1.07 (301) {G1,W9,D2,L2,V1,M1} R(77,20) { iext( X, uri_rdfs_label,
% 0.68/1.07 uri_rdfs_Literal ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X )
% 0.68/1.07 }.
% 0.68/1.07 (300) {G1,W9,D2,L2,V1,M1} R(77,19) { iext( X, uri_rdfs_label,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X )
% 0.68/1.07 }.
% 0.68/1.07 (358) {G4,W9,D2,L2,V1,M1} R(283,77) { iext( X, uri_rdf_Bag, uri_rdfs_Class
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (359) {G4,W9,D2,L2,V1,M1} R(282,77) { iext( X,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class ), ! iext(
% 0.68/1.07 uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (360) {G4,W9,D2,L2,V1,M1} R(281,77) { iext( X, uri_rdfs_Seq, uri_rdfs_Class
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (361) {G7,W9,D2,L2,V1,M1} R(273,77) { iext( X, uri_rdfs_Resource,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (299) {G1,W9,D2,L2,V1,M1} R(77,15) { iext( X, uri_rdfs_comment,
% 0.68/1.07 uri_rdfs_Literal ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X )
% 0.68/1.07 }.
% 0.68/1.07 (378) {G3,W9,D2,L2,V1,M1} R(362,77) { iext( X, uri_rdfs_isDefinedBy,
% 0.68/1.07 uri_rdfs_isDefinedBy ), ! iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (380) {G3,W9,D2,L2,V1,M1} R(363,77) { iext( X, uri_rdfs_seeAlso,
% 0.68/1.07 uri_rdfs_seeAlso ), ! iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (382) {G5,W9,D2,L2,V1,M1} R(364,77) { iext( X, uri_rdfs_member,
% 0.68/1.07 uri_rdfs_member ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (384) {G3,W9,D2,L2,V1,M1} R(365,77) { iext( X, uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_subPropertyOf ), ! iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (298) {G1,W9,D2,L2,V1,M1} R(77,18) { iext( X, uri_rdfs_isDefinedBy,
% 0.68/1.07 uri_rdfs_seeAlso ), ! iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (390) {G1,W9,D2,L2,V1,M1} R(80,18) { iext( uri_rdfs_subPropertyOf, X,
% 0.68/1.07 uri_rdfs_seeAlso ), ! iext( uri_rdfs_subPropertyOf, X,
% 0.68/1.07 uri_rdfs_isDefinedBy ) }.
% 0.68/1.07 (389) {G3,W9,D2,L2,V1,M1} R(80,126) { iext( uri_rdfs_subPropertyOf, X,
% 0.68/1.07 uri_rdfs_member ), ! iext( uri_rdfs_subPropertyOf, X, uri_rdf__3 ) }.
% 0.68/1.07 (388) {G3,W9,D2,L2,V1,M1} R(80,127) { iext( uri_rdfs_subPropertyOf, X,
% 0.68/1.07 uri_rdfs_member ), ! iext( uri_rdfs_subPropertyOf, X, uri_rdf__2 ) }.
% 0.68/1.07 (387) {G3,W9,D2,L2,V1,M1} R(80,128) { iext( uri_rdfs_subPropertyOf, X,
% 0.68/1.07 uri_rdfs_member ), ! iext( uri_rdfs_subPropertyOf, X, uri_rdf__1 ) }.
% 0.68/1.07 (297) {G3,W9,D2,L2,V1,M1} R(77,105) { iext( X, uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (391) {G3,W9,D2,L2,V1,M1} R(366,77) { iext( X, uri_rdf_first, uri_rdf_first
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (394) {G3,W9,D2,L2,V1,M1} R(367,77) { iext( X, uri_rdf_rest, uri_rdf_rest )
% 0.68/1.07 , ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (397) {G3,W9,D2,L2,V1,M1} R(368,77) { iext( X, uri_rdf__1, uri_rdf__1 ), !
% 0.68/1.07 iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (399) {G3,W9,D2,L2,V1,M1} R(369,77) { iext( X, uri_rdf__2, uri_rdf__2 ), !
% 0.68/1.07 iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (296) {G1,W9,D2,L2,V1,M1} R(77,17) { iext( X, uri_rdfs_isDefinedBy,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_range, X )
% 0.68/1.07 }.
% 0.68/1.07 (401) {G3,W9,D2,L2,V1,M1} R(370,77) { iext( X, uri_rdf__3, uri_rdf__3 ), !
% 0.68/1.07 iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (403) {G3,W9,D2,L2,V1,M1} R(371,77) { iext( X, uri_rdf_object,
% 0.68/1.07 uri_rdf_object ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (406) {G3,W9,D2,L2,V1,M1} R(372,77) { iext( X, uri_rdf_value, uri_rdf_value
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (409) {G3,W9,D2,L2,V1,M1} R(373,77) { iext( X, uri_rdf_subject,
% 0.68/1.07 uri_rdf_subject ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (295) {G1,W9,D2,L2,V1,M1} R(77,16) { iext( X, uri_rdfs_isDefinedBy,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_domain, X )
% 0.68/1.07 }.
% 0.68/1.07 (412) {G3,W9,D2,L2,V1,M1} R(374,77) { iext( X, uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_subClassOf ), ! iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (415) {G3,W9,D2,L2,V1,M1} R(375,77) { iext( X, uri_rdf_type, uri_rdf_type )
% 0.68/1.07 , ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (418) {G3,W9,D2,L2,V1,M1} R(376,77) { iext( X, uri_rdfs_domain,
% 0.68/1.07 uri_rdfs_domain ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (421) {G3,W9,D2,L2,V1,M1} R(377,77) { iext( X, uri_rdfs_range,
% 0.68/1.07 uri_rdfs_range ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (293) {G4,W9,D2,L2,V1,M1} R(77,130) { iext( X, uri_rdf_Property,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (424) {G4,W9,D2,L2,V1,M1} R(272,77) { iext( X, uri_rdfs_Container,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (425) {G4,W9,D2,L2,V1,M1} R(271,77) { iext( X, uri_rdfs_Literal,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (426) {G4,W9,D2,L2,V1,M1} R(270,77) { iext( X, uri_rdfs_Class,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (427) {G3,W9,D2,L2,V1,M1} R(260,77) { iext( X, uri_rdfs_Datatype,
% 0.68/1.07 uri_rdfs_Datatype ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (292) {G3,W9,D2,L2,V1,M1} R(77,126) { iext( X, uri_rdf__3, uri_rdfs_member
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (429) {G3,W9,D2,L2,V1,M1} R(261,77) { iext( X, uri_rdf_XMLLiteral,
% 0.68/1.07 uri_rdf_XMLLiteral ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (431) {G3,W9,D2,L2,V1,M1} R(262,77) { iext( X, uri_rdfs_Class,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X
% 0.68/1.07 ) }.
% 0.68/1.07 (433) {G3,W9,D2,L2,V1,M1} R(263,77) { iext( X, uri_rdfs_Literal,
% 0.68/1.07 uri_rdfs_Literal ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf,
% 0.68/1.07 X ) }.
% 0.68/1.07 (435) {G3,W9,D2,L2,V1,M1} R(264,77) { iext( X, uri_rdfs_Container,
% 0.68/1.07 uri_rdfs_Container ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (291) {G3,W9,D2,L2,V1,M1} R(77,127) { iext( X, uri_rdf__2, uri_rdfs_member
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (437) {G3,W9,D2,L2,V1,M1} R(265,77) { iext( X, uri_rdfs_Seq, uri_rdfs_Seq )
% 0.68/1.07 , ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (439) {G3,W9,D2,L2,V1,M1} R(266,77) { iext( X,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ), ! iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (441) {G3,W9,D2,L2,V1,M1} R(267,77) { iext( X, uri_rdf_Bag, uri_rdf_Bag ),
% 0.68/1.07 ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (443) {G3,W9,D2,L2,V1,M1} R(268,77) { iext( X, uri_rdf_Alt, uri_rdf_Alt ),
% 0.68/1.07 ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (290) {G3,W9,D2,L2,V1,M1} R(77,128) { iext( X, uri_rdf__1, uri_rdfs_member
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (445) {G4,W9,D2,L2,V1,M1} R(269,77) { iext( X, uri_rdf_Property,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf,
% 0.68/1.07 X ) }.
% 0.68/1.07 (446) {G4,W9,D2,L2,V1,M1} R(259,77) { iext( X, uri_rdf_XMLLiteral,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (447) {G4,W9,D2,L2,V1,M1} R(258,77) { iext( X, uri_rdfs_Datatype,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (449) {G3,W9,D2,L2,V1,M1} R(256,73) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X, uri_rdfs_Datatype )
% 0.68/1.07 }.
% 0.68/1.07 (289) {G3,W9,D2,L2,V1,M1} R(77,286) { iext( X, uri_rdfs_isDefinedBy,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (448) {G3,W9,D2,L2,V1,M1} R(256,77) { iext( X, uri_rdfs_Datatype,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (451) {G3,W9,D2,L2,V1,M1} R(254,73) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X, uri_rdf_XMLLiteral )
% 0.68/1.07 }.
% 0.68/1.07 (450) {G3,W9,D2,L2,V1,M1} R(254,77) { iext( X, uri_rdf_XMLLiteral,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (453) {G3,W9,D2,L2,V1,M1} R(246,73) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X, uri_rdfs_Class ) }.
% 0.68/1.07 (288) {G4,W9,D2,L2,V1,M1} R(77,284) { iext( X, uri_rdf_Alt, uri_rdfs_Class
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (452) {G3,W9,D2,L2,V1,M1} R(246,77) { iext( X, uri_rdfs_Class,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (455) {G3,W9,D2,L2,V1,M1} R(244,73) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X, uri_rdfs_Literal )
% 0.68/1.07 }.
% 0.68/1.07 (454) {G3,W9,D2,L2,V1,M1} R(244,77) { iext( X, uri_rdfs_Literal,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (457) {G3,W9,D2,L2,V1,M1} R(242,73) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X, uri_rdfs_Container )
% 0.68/1.07 }.
% 0.68/1.07 (280) {G1,W9,D2,L2,V1,M1} R(73,49) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subClassOf, X, uri_rdfs_Datatype ) }.
% 0.68/1.07 (456) {G3,W9,D2,L2,V1,M1} R(242,77) { iext( X, uri_rdfs_Container,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (458) {G6,W9,D2,L2,V1,M1} R(240,77) { iext( X, uri_rdfs_Resource,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (461) {G3,W9,D2,L2,V1,M1} R(234,73) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X, uri_rdfs_Seq ) }.
% 0.68/1.07 (460) {G3,W9,D2,L2,V1,M1} R(234,77) { iext( X, uri_rdfs_Seq,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (279) {G1,W9,D2,L2,V1,M1} R(73,46) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Literal ), ! iext( uri_rdfs_subClassOf, X, uri_rdf_XMLLiteral )
% 0.68/1.07 }.
% 0.68/1.07 (463) {G3,W9,D2,L2,V1,M1} R(232,73) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ) }.
% 0.68/1.07 (462) {G3,W9,D2,L2,V1,M1} R(232,77) { iext( X,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource ), ! iext(
% 0.68/1.07 uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (465) {G3,W9,D2,L2,V1,M1} R(230,73) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X, uri_rdf_Bag ) }.
% 0.68/1.07 (464) {G3,W9,D2,L2,V1,M1} R(230,77) { iext( X, uri_rdf_Bag,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (278) {G1,W9,D2,L2,V1,M1} R(73,45) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Container ), ! iext( uri_rdfs_subClassOf, X, uri_rdfs_Seq ) }.
% 0.68/1.07 (468) {G4,W9,D2,L2,V1,M1} R(467,77) { iext( X, uri_rdfs_comment,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (471) {G6,W9,D2,L2,V1,M1} R(470,77) { iext( X, uri_rdfs_comment,
% 0.68/1.07 uri_rdfs_comment ), ! iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (476) {G4,W9,D2,L2,V1,M1} R(475,77) { iext( X, uri_rdfs_label,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (479) {G6,W9,D2,L2,V1,M1} R(478,77) { iext( X, uri_rdfs_label,
% 0.68/1.07 uri_rdfs_label ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (277) {G1,W9,D2,L2,V1,M1} R(73,33) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ) }.
% 0.68/1.07 (483) {G3,W9,D2,L2,V1,M1} R(228,73) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X, uri_rdf_Alt ) }.
% 0.68/1.07 (482) {G3,W9,D2,L2,V1,M1} R(228,77) { iext( X, uri_rdf_Alt,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (484) {G3,W9,D2,L2,V1,M1} R(221,77) { iext( X, uri_rdfs_seeAlso,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (486) {G5,W9,D2,L2,V1,M1} R(220,77) { iext( X, uri_rdfs_member,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (276) {G1,W9,D2,L2,V1,M1} R(73,31) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Container ), ! iext( uri_rdfs_subClassOf, X, uri_rdf_Bag ) }.
% 0.68/1.07 (493) {G5,W9,D2,L2,V1,M1} R(491,77) { iext( X, uri_rdf_List, uri_rdf_List )
% 0.68/1.07 , ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (497) {G5,W9,D2,L2,V1,M1} R(492,73) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X, uri_rdf_List ) }.
% 0.68/1.07 (496) {G5,W9,D2,L2,V1,M1} R(492,77) { iext( X, uri_rdf_List,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (498) {G4,W9,D2,L2,V1,M1} R(489,77) { iext( X, uri_rdf_List, uri_rdfs_Class
% 0.68/1.07 ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (275) {G1,W9,D2,L2,V1,M1} R(73,30) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Container ), ! iext( uri_rdfs_subClassOf, X, uri_rdf_Alt ) }.
% 0.68/1.07 (504) {G5,W9,D2,L2,V1,M1} R(502,77) { iext( X, uri_rdfs_Statement,
% 0.68/1.07 uri_rdfs_Statement ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (508) {G5,W9,D2,L2,V1,M1} R(503,73) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X, uri_rdfs_Statement )
% 0.68/1.07 }.
% 0.68/1.07 (507) {G5,W9,D2,L2,V1,M1} R(503,77) { iext( X, uri_rdfs_Statement,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subPropertyOf, uri_rdfs_subClassOf
% 0.68/1.07 , X ) }.
% 0.68/1.07 (509) {G4,W9,D2,L2,V1,M1} R(500,77) { iext( X, uri_rdfs_Statement,
% 0.68/1.07 uri_rdfs_Class ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (274) {G4,W9,D2,L2,V1,M1} R(73,130) { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! iext( uri_rdfs_subClassOf, X, uri_rdf_Property )
% 0.68/1.07 }.
% 0.68/1.07 (512) {G4,W9,D2,L2,V1,M1} R(511,77) { iext( X, uri_rdf_predicate,
% 0.68/1.07 uri_rdf_Property ), ! iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (515) {G6,W9,D2,L2,V1,M1} R(514,77) { iext( X, uri_rdf_predicate,
% 0.68/1.07 uri_rdf_predicate ), ! iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (294) {G3,W9,D2,L2,V2,M1} R(77,125) { iext( X, Y, uri_rdfs_Resource ), !
% 0.68/1.07 iext( uri_rdfs_subPropertyOf, uri_rdf_type, X ) }.
% 0.68/1.07 (189) {G1,W8,D2,L2,V1,M1} R(51,84) { icext( X, uri_rdf_value ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (188) {G1,W8,D2,L2,V1,M1} R(51,83) { icext( X, uri_rdf_value ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (187) {G1,W8,D2,L2,V1,M1} R(51,82) { icext( X, uri_rdf_type ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (186) {G1,W8,D2,L2,V1,M1} R(51,81) { icext( X, uri_rdf_type ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (185) {G1,W8,D2,L2,V1,M1} R(51,78) { icext( X, uri_rdfs_subPropertyOf ), !
% 0.68/1.07 iext( uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (183) {G1,W8,D2,L2,V1,M1} R(51,74) { icext( X, uri_rdfs_subPropertyOf ), !
% 0.68/1.07 iext( uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (182) {G1,W8,D2,L2,V1,M1} R(51,71) { icext( X, uri_rdfs_subClassOf ), !
% 0.68/1.07 iext( uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (181) {G1,W8,D2,L2,V1,M1} R(51,67) { icext( X, uri_rdfs_subClassOf ), !
% 0.68/1.07 iext( uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (179) {G1,W8,D2,L2,V1,M1} R(51,66) { icext( X, uri_rdf_subject ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (178) {G1,W8,D2,L2,V1,M1} R(51,65) { icext( X, uri_rdf_subject ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (517) {G6,W8,D2,L2,V1,M1} R(514,51) { icext( X, uri_rdf_predicate ), ! iext
% 0.68/1.07 ( uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (516) {G6,W8,D2,L2,V1,M1} R(514,60) { icext( X, uri_rdf_predicate ), ! iext
% 0.68/1.07 ( uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (514) {G5,W4,D2,L1,V0,M1} R(513,79) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_predicate, uri_rdf_predicate ) }.
% 0.68/1.07 (513) {G4,W2,D2,L1,V0,M1} R(511,11) { ip( uri_rdf_predicate ) }.
% 0.68/1.07 (177) {G1,W8,D2,L2,V1,M1} R(51,64) { icext( X, uri_rdf_predicate ), ! iext
% 0.68/1.07 ( uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (511) {G3,W4,D2,L1,V0,M1} R(510,24) { iext( uri_rdf_type, uri_rdf_predicate
% 0.68/1.07 , uri_rdf_Property ) }.
% 0.68/1.07 (510) {G2,W3,D2,L1,V0,M1} R(176,59) { icext( uri_rdf_Property,
% 0.68/1.07 uri_rdf_predicate ) }.
% 0.68/1.07 (176) {G1,W8,D2,L2,V1,M1} R(51,63) { icext( X, uri_rdf_predicate ), ! iext
% 0.68/1.07 ( uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (174) {G1,W8,D2,L2,V1,M1} R(51,62) { icext( X, uri_rdf_object ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (173) {G1,W8,D2,L2,V1,M1} R(51,61) { icext( X, uri_rdfs_range ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (172) {G1,W8,D2,L2,V1,M1} R(51,59) { icext( X, uri_rdfs_range ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (170) {G1,W8,D2,L2,V1,M1} R(51,52) { icext( X, uri_rdfs_domain ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (169) {G1,W8,D2,L2,V1,M1} R(51,49) { icext( X, uri_rdfs_Datatype ), ! iext
% 0.68/1.07 ( uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (167) {G1,W8,D2,L2,V1,M1} R(51,46) { icext( X, uri_rdf_XMLLiteral ), ! iext
% 0.68/1.07 ( uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (166) {G1,W8,D2,L2,V1,M1} R(51,45) { icext( X, uri_rdfs_Seq ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (162) {G1,W8,D2,L2,V1,M1} R(51,41) { icext( X, uri_rdf__3 ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (161) {G1,W8,D2,L2,V1,M1} R(51,40) { icext( X, uri_rdf__2 ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (191) {G4,W8,D2,L2,V1,M1} R(130,51) { icext( X, uri_rdf_Property ), ! iext
% 0.68/1.07 ( uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (192) {G3,W8,D2,L2,V1,M1} R(126,51) { icext( X, uri_rdf__3 ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (193) {G3,W8,D2,L2,V1,M1} R(127,51) { icext( X, uri_rdf__2 ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (216) {G1,W8,D2,L2,V1,M1} R(60,78) { icext( X, uri_rdf_Property ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_range, X ) }.
% 0.68/1.07 (215) {G1,W8,D2,L2,V1,M1} R(60,67) { icext( X, uri_rdfs_Class ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_domain, X ) }.
% 0.68/1.07 (159) {G1,W8,D2,L2,V1,M1} R(51,39) { icext( X, uri_rdf__1 ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (214) {G1,W8,D2,L2,V1,M1} R(60,3) { icext( X, uri_rdf_List ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdf_type, X ) }.
% 0.68/1.07 (506) {G5,W8,D2,L2,V1,M1} R(502,51) { icext( X, uri_rdfs_Statement ), !
% 0.68/1.07 iext( uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (505) {G5,W8,D2,L2,V1,M1} R(502,60) { icext( X, uri_rdfs_Statement ), !
% 0.68/1.07 iext( uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (500) {G3,W4,D2,L1,V0,M1} R(499,24) { iext( uri_rdf_type,
% 0.68/1.07 uri_rdfs_Statement, uri_rdfs_Class ) }.
% 0.68/1.07 (158) {G1,W8,D2,L2,V1,M1} R(51,38) { icext( X, uri_rdf__3 ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (503) {G4,W4,D2,L1,V0,M1} R(501,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Statement, uri_rdfs_Resource ) }.
% 0.68/1.07 (502) {G4,W4,D2,L1,V0,M1} R(501,72) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Statement, uri_rdfs_Statement ) }.
% 0.68/1.07 (501) {G3,W2,D2,L1,V0,M1} R(499,54) { ic( uri_rdfs_Statement ) }.
% 0.68/1.07 (499) {G2,W3,D2,L1,V0,M1} R(213,52) { icext( uri_rdfs_Class,
% 0.68/1.07 uri_rdfs_Statement ) }.
% 0.68/1.07 (157) {G1,W8,D2,L2,V1,M1} R(51,37) { icext( X, uri_rdf__2 ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (213) {G1,W8,D2,L2,V1,M1} R(60,62) { icext( X, uri_rdfs_Statement ), ! iext
% 0.68/1.07 ( uri_rdfs_range, uri_rdfs_domain, X ) }.
% 0.68/1.07 (212) {G1,W8,D2,L2,V1,M1} R(60,58) { icext( X, uri_rdfs_Class ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdf_type, X ) }.
% 0.68/1.07 (211) {G1,W8,D2,L2,V1,M1} R(60,52) { icext( X, uri_rdfs_Class ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_range, X ) }.
% 0.68/1.07 (210) {G1,W8,D2,L2,V1,M1} R(60,50) { icext( X, uri_rdf_Property ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_domain, X ) }.
% 0.68/1.07 (156) {G1,W8,D2,L2,V1,M1} R(51,36) { icext( X, uri_rdf__1 ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (209) {G1,W8,D2,L2,V1,M1} R(60,49) { icext( X, uri_rdfs_Class ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (208) {G1,W8,D2,L2,V1,M1} R(60,47) { icext( X, uri_rdfs_Datatype ), ! iext
% 0.68/1.07 ( uri_rdfs_range, uri_rdf_type, X ) }.
% 0.68/1.07 (207) {G1,W8,D2,L2,V1,M1} R(60,46) { icext( X, uri_rdfs_Literal ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (206) {G1,W8,D2,L2,V1,M1} R(60,42) { icext( X,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ), ! iext( uri_rdfs_range,
% 0.68/1.07 uri_rdf_type, X ) }.
% 0.68/1.07 (205) {G1,W8,D2,L2,V1,M1} R(60,33) { icext( X, uri_rdf_Property ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (204) {G1,W8,D2,L2,V1,M1} R(60,30) { icext( X, uri_rdfs_Container ), ! iext
% 0.68/1.07 ( uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (203) {G1,W8,D2,L2,V1,M1} R(60,29) { icext( X, uri_rdf_List ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_range, X ) }.
% 0.68/1.07 (495) {G5,W8,D2,L2,V1,M1} R(491,51) { icext( X, uri_rdf_List ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (154) {G1,W8,D2,L2,V1,M1} R(51,35) { icext( X, uri_rdfs_member ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (494) {G5,W8,D2,L2,V1,M1} R(491,60) { icext( X, uri_rdf_List ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (489) {G3,W4,D2,L1,V0,M1} R(488,24) { iext( uri_rdf_type, uri_rdf_List,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (492) {G4,W4,D2,L1,V0,M1} R(490,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdf_List, uri_rdfs_Resource ) }.
% 0.68/1.07 (491) {G4,W4,D2,L1,V0,M1} R(490,72) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdf_List, uri_rdf_List ) }.
% 0.68/1.07 (153) {G1,W8,D2,L2,V1,M1} R(51,34) { icext( X, uri_rdfs_member ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (490) {G3,W2,D2,L1,V0,M1} R(488,54) { ic( uri_rdf_List ) }.
% 0.68/1.07 (488) {G2,W3,D2,L1,V0,M1} R(202,52) { icext( uri_rdfs_Class, uri_rdf_List )
% 0.68/1.07 }.
% 0.68/1.07 (202) {G1,W8,D2,L2,V1,M1} R(60,26) { icext( X, uri_rdf_List ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_domain, X ) }.
% 0.68/1.07 (201) {G1,W8,D2,L2,V1,M1} R(60,15) { icext( X, uri_rdfs_Literal ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_range, X ) }.
% 0.68/1.07 (152) {G1,W8,D2,L2,V1,M1} R(51,33) { icext( X,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ), ! iext( uri_rdfs_domain,
% 0.68/1.07 uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (200) {G1,W8,D2,L2,V1,M1} R(60,18) { icext( X, uri_rdfs_seeAlso ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (199) {G3,W8,D2,L2,V1,M1} R(60,105) { icext( X, uri_rdf_Property ), ! iext
% 0.68/1.07 ( uri_rdfs_range, uri_rdf_type, X ) }.
% 0.68/1.07 (198) {G1,W8,D2,L2,V1,M1} R(60,17) { icext( X, uri_rdfs_Resource ), ! iext
% 0.68/1.07 ( uri_rdfs_range, uri_rdfs_range, X ) }.
% 0.68/1.07 (197) {G1,W8,D2,L2,V1,M1} R(60,16) { icext( X, uri_rdfs_Resource ), ! iext
% 0.68/1.07 ( uri_rdfs_range, uri_rdfs_domain, X ) }.
% 0.68/1.07 (151) {G1,W8,D2,L2,V1,M1} R(51,31) { icext( X, uri_rdf_Bag ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (196) {G3,W8,D2,L2,V1,M1} R(60,125) { icext( X, uri_rdfs_Resource ), ! iext
% 0.68/1.07 ( uri_rdfs_range, uri_rdf_type, X ) }.
% 0.68/1.07 (195) {G4,W8,D2,L2,V1,M1} R(60,130) { icext( X, uri_rdfs_Resource ), ! iext
% 0.68/1.07 ( uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (194) {G3,W8,D2,L2,V1,M1} R(60,127) { icext( X, uri_rdfs_member ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (217) {G3,W8,D2,L2,V1,M1} R(128,51) { icext( X, uri_rdf__1 ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (379) {G3,W8,D2,L2,V1,M1} R(362,60) { icext( X, uri_rdfs_isDefinedBy ), !
% 0.68/1.07 iext( uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (381) {G3,W8,D2,L2,V1,M1} R(363,51) { icext( X, uri_rdfs_seeAlso ), ! iext
% 0.68/1.07 ( uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (383) {G5,W8,D2,L2,V1,M1} R(364,51) { icext( X, uri_rdfs_member ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (386) {G3,W8,D2,L2,V1,M1} R(365,51) { icext( X, uri_rdfs_subPropertyOf ), !
% 0.68/1.07 iext( uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (149) {G1,W8,D2,L2,V1,M1} R(51,30) { icext( X, uri_rdf_Alt ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (385) {G3,W8,D2,L2,V1,M1} R(365,60) { icext( X, uri_rdfs_subPropertyOf ), !
% 0.68/1.07 iext( uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (393) {G3,W8,D2,L2,V1,M1} R(366,51) { icext( X, uri_rdf_first ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (392) {G3,W8,D2,L2,V1,M1} R(366,60) { icext( X, uri_rdf_first ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (396) {G3,W8,D2,L2,V1,M1} R(367,51) { icext( X, uri_rdf_rest ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (148) {G1,W8,D2,L2,V1,M1} R(51,29) { icext( X, uri_rdf_rest ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (395) {G3,W8,D2,L2,V1,M1} R(367,60) { icext( X, uri_rdf_rest ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (398) {G3,W8,D2,L2,V1,M1} R(368,60) { icext( X, uri_rdf__1 ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (400) {G3,W8,D2,L2,V1,M1} R(369,60) { icext( X, uri_rdf__2 ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (402) {G3,W8,D2,L2,V1,M1} R(370,60) { icext( X, uri_rdf__3 ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (147) {G1,W8,D2,L2,V1,M1} R(51,28) { icext( X, uri_rdf_rest ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (405) {G3,W8,D2,L2,V1,M1} R(371,51) { icext( X, uri_rdf_object ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (404) {G3,W8,D2,L2,V1,M1} R(371,60) { icext( X, uri_rdf_object ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (408) {G3,W8,D2,L2,V1,M1} R(372,51) { icext( X, uri_rdf_value ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (407) {G3,W8,D2,L2,V1,M1} R(372,60) { icext( X, uri_rdf_value ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (146) {G1,W8,D2,L2,V1,M1} R(51,27) { icext( X, uri_rdf_first ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (411) {G3,W8,D2,L2,V1,M1} R(373,51) { icext( X, uri_rdf_subject ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (410) {G3,W8,D2,L2,V1,M1} R(373,60) { icext( X, uri_rdf_subject ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (414) {G3,W8,D2,L2,V1,M1} R(374,51) { icext( X, uri_rdfs_subClassOf ), !
% 0.68/1.07 iext( uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (413) {G3,W8,D2,L2,V1,M1} R(374,60) { icext( X, uri_rdfs_subClassOf ), !
% 0.68/1.07 iext( uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (417) {G3,W8,D2,L2,V1,M1} R(375,51) { icext( X, uri_rdf_type ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (416) {G3,W8,D2,L2,V1,M1} R(375,60) { icext( X, uri_rdf_type ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (420) {G3,W8,D2,L2,V1,M1} R(376,51) { icext( X, uri_rdfs_domain ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (419) {G3,W8,D2,L2,V1,M1} R(376,60) { icext( X, uri_rdfs_domain ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (423) {G3,W8,D2,L2,V1,M1} R(377,51) { icext( X, uri_rdfs_range ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (422) {G3,W8,D2,L2,V1,M1} R(377,60) { icext( X, uri_rdfs_range ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (428) {G3,W8,D2,L2,V1,M1} R(260,60) { icext( X, uri_rdfs_Datatype ), ! iext
% 0.68/1.07 ( uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (430) {G3,W8,D2,L2,V1,M1} R(261,60) { icext( X, uri_rdf_XMLLiteral ), !
% 0.68/1.07 iext( uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (432) {G3,W8,D2,L2,V1,M1} R(262,51) { icext( X, uri_rdfs_Class ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (434) {G3,W8,D2,L2,V1,M1} R(263,51) { icext( X, uri_rdfs_Literal ), ! iext
% 0.68/1.07 ( uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (436) {G3,W8,D2,L2,V1,M1} R(264,51) { icext( X, uri_rdfs_Container ), !
% 0.68/1.07 iext( uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (438) {G3,W8,D2,L2,V1,M1} R(265,60) { icext( X, uri_rdfs_Seq ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (440) {G3,W8,D2,L2,V1,M1} R(266,60) { icext( X,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ), ! iext( uri_rdfs_range,
% 0.68/1.07 uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (442) {G3,W8,D2,L2,V1,M1} R(267,60) { icext( X, uri_rdf_Bag ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (444) {G3,W8,D2,L2,V1,M1} R(268,60) { icext( X, uri_rdf_Alt ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (459) {G6,W8,D2,L2,V1,M1} R(240,51) { icext( X, uri_rdfs_Resource ), ! iext
% 0.68/1.07 ( uri_rdfs_domain, uri_rdfs_subClassOf, X ) }.
% 0.68/1.07 (141) {G1,W8,D2,L2,V1,M1} R(51,26) { icext( X, uri_rdf_first ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (473) {G6,W8,D2,L2,V1,M1} R(470,51) { icext( X, uri_rdfs_comment ), ! iext
% 0.68/1.07 ( uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (472) {G6,W8,D2,L2,V1,M1} R(470,60) { icext( X, uri_rdfs_comment ), ! iext
% 0.68/1.07 ( uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (481) {G6,W8,D2,L2,V1,M1} R(478,51) { icext( X, uri_rdfs_label ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (480) {G6,W8,D2,L2,V1,M1} R(478,60) { icext( X, uri_rdfs_label ), ! iext(
% 0.68/1.07 uri_rdfs_range, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (140) {G1,W8,D2,L2,V1,M1} R(51,14) { icext( X, uri_rdfs_comment ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (190) {G3,W8,D2,L2,V2,M1} R(125,51) { icext( X, Y ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdf_type, X ) }.
% 0.68/1.07 (253) {G1,W7,D2,L2,V1,M1} R(70,49) { icext( uri_rdfs_Class, X ), ! icext(
% 0.68/1.07 uri_rdfs_Datatype, X ) }.
% 0.68/1.07 (252) {G1,W7,D2,L2,V1,M1} R(70,46) { icext( uri_rdfs_Literal, X ), ! icext
% 0.68/1.07 ( uri_rdf_XMLLiteral, X ) }.
% 0.68/1.07 (251) {G1,W7,D2,L2,V1,M1} R(70,45) { icext( uri_rdfs_Container, X ), !
% 0.68/1.07 icext( uri_rdfs_Seq, X ) }.
% 0.68/1.07 (139) {G1,W8,D2,L2,V1,M1} R(51,22) { icext( X, uri_rdfs_seeAlso ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (250) {G1,W7,D2,L2,V1,M1} R(70,33) { icext( uri_rdf_Property, X ), ! icext
% 0.68/1.07 ( uri_rdfs_ContainerMembershipProperty, X ) }.
% 0.68/1.07 (249) {G1,W7,D2,L2,V1,M1} R(70,31) { icext( uri_rdfs_Container, X ), !
% 0.68/1.07 icext( uri_rdf_Bag, X ) }.
% 0.68/1.07 (248) {G1,W7,D2,L2,V1,M1} R(70,30) { icext( uri_rdfs_Container, X ), !
% 0.68/1.07 icext( uri_rdf_Alt, X ) }.
% 0.68/1.07 (487) {G5,W3,D2,L1,V0,M1} R(220,23) { icext( uri_rdf_Property,
% 0.68/1.07 uri_rdfs_member ) }.
% 0.68/1.07 (138) {G1,W8,D2,L2,V1,M1} R(51,21) { icext( X, uri_rdfs_seeAlso ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (220) {G4,W4,D2,L1,V0,M1} R(218,12) { iext( uri_rdf_type, uri_rdfs_member,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (485) {G3,W3,D2,L1,V0,M1} R(221,23) { icext( uri_rdf_Property,
% 0.68/1.07 uri_rdfs_seeAlso ) }.
% 0.68/1.07 (221) {G2,W4,D2,L1,V0,M1} R(219,12) { iext( uri_rdf_type, uri_rdfs_seeAlso
% 0.68/1.07 , uri_rdf_Property ) }.
% 0.68/1.07 (228) {G2,W4,D2,L1,V0,M1} R(222,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdf_Alt, uri_rdfs_Resource ) }.
% 0.68/1.07 (137) {G1,W8,D2,L2,V1,M1} R(51,20) { icext( X, uri_rdfs_label ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (478) {G5,W4,D2,L1,V0,M1} R(477,79) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_label, uri_rdfs_label ) }.
% 0.68/1.07 (477) {G4,W2,D2,L1,V0,M1} R(475,11) { ip( uri_rdfs_label ) }.
% 0.68/1.07 (475) {G3,W4,D2,L1,V0,M1} R(474,24) { iext( uri_rdf_type, uri_rdfs_label,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (474) {G2,W3,D2,L1,V0,M1} R(136,50) { icext( uri_rdf_Property,
% 0.68/1.07 uri_rdfs_label ) }.
% 0.68/1.07 (136) {G1,W8,D2,L2,V1,M1} R(51,19) { icext( X, uri_rdfs_label ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (470) {G5,W4,D2,L1,V0,M1} R(469,79) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_comment, uri_rdfs_comment ) }.
% 0.68/1.07 (469) {G4,W2,D2,L1,V0,M1} R(467,11) { ip( uri_rdfs_comment ) }.
% 0.68/1.07 (467) {G3,W4,D2,L1,V0,M1} R(466,24) { iext( uri_rdf_type, uri_rdfs_comment
% 0.68/1.07 , uri_rdf_Property ) }.
% 0.68/1.07 (466) {G2,W3,D2,L1,V0,M1} R(135,59) { icext( uri_rdf_Property,
% 0.68/1.07 uri_rdfs_comment ) }.
% 0.68/1.07 (135) {G1,W8,D2,L2,V1,M1} R(51,15) { icext( X, uri_rdfs_comment ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (230) {G2,W4,D2,L1,V0,M1} R(223,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdf_Bag, uri_rdfs_Resource ) }.
% 0.68/1.07 (232) {G2,W4,D2,L1,V0,M1} R(224,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource ) }.
% 0.68/1.07 (234) {G2,W4,D2,L1,V0,M1} R(225,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Seq, uri_rdfs_Resource ) }.
% 0.68/1.07 (240) {G5,W4,D2,L1,V0,M1} R(236,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Resource, uri_rdfs_Resource ) }.
% 0.68/1.07 (134) {G1,W8,D2,L2,V1,M1} R(51,18) { icext( X, uri_rdfs_isDefinedBy ), !
% 0.68/1.07 iext( uri_rdfs_domain, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (242) {G2,W4,D2,L1,V0,M1} R(237,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Container, uri_rdfs_Resource ) }.
% 0.68/1.07 (244) {G2,W4,D2,L1,V0,M1} R(238,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Literal, uri_rdfs_Resource ) }.
% 0.68/1.07 (246) {G2,W4,D2,L1,V0,M1} R(239,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Class, uri_rdfs_Resource ) }.
% 0.68/1.07 (254) {G2,W4,D2,L1,V0,M1} R(226,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdf_XMLLiteral, uri_rdfs_Resource ) }.
% 0.68/1.07 (256) {G2,W4,D2,L1,V0,M1} R(227,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Datatype, uri_rdfs_Resource ) }.
% 0.68/1.07 (258) {G3,W4,D2,L1,V0,M1} R(257,24) { iext( uri_rdf_type, uri_rdfs_Datatype
% 0.68/1.07 , uri_rdfs_Class ) }.
% 0.68/1.07 (259) {G3,W4,D2,L1,V0,M1} R(255,24) { iext( uri_rdf_type,
% 0.68/1.07 uri_rdf_XMLLiteral, uri_rdfs_Class ) }.
% 0.68/1.07 (269) {G3,W4,D2,L1,V0,M1} R(72,129) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdf_Property, uri_rdf_Property ) }.
% 0.68/1.07 (132) {G1,W8,D2,L2,V1,M1} R(51,17) { icext( X, uri_rdfs_isDefinedBy ), !
% 0.68/1.07 iext( uri_rdfs_domain, uri_rdfs_range, X ) }.
% 0.68/1.07 (268) {G2,W4,D2,L1,V0,M1} R(72,222) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdf_Alt, uri_rdf_Alt ) }.
% 0.68/1.07 (267) {G2,W4,D2,L1,V0,M1} R(72,223) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdf_Bag, uri_rdf_Bag ) }.
% 0.68/1.07 (266) {G2,W4,D2,L1,V0,M1} R(72,224) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ) }.
% 0.68/1.07 (265) {G2,W4,D2,L1,V0,M1} R(72,225) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Seq, uri_rdfs_Seq ) }.
% 0.68/1.07 (131) {G1,W8,D2,L2,V1,M1} R(51,16) { icext( X, uri_rdfs_isDefinedBy ), !
% 0.68/1.07 iext( uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (264) {G2,W4,D2,L1,V0,M1} R(72,237) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Container, uri_rdfs_Container ) }.
% 0.68/1.07 (263) {G2,W4,D2,L1,V0,M1} R(72,238) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Literal, uri_rdfs_Literal ) }.
% 0.68/1.07 (262) {G2,W4,D2,L1,V0,M1} R(72,239) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Class, uri_rdfs_Class ) }.
% 0.68/1.07 (261) {G2,W4,D2,L1,V0,M1} R(72,226) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdf_XMLLiteral, uri_rdf_XMLLiteral ) }.
% 0.68/1.07 (88) {G1,W9,D2,L2,V1,M1} F(77) { iext( X, uri_rdfs_subPropertyOf, X ), !
% 0.68/1.07 iext( uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X ) }.
% 0.68/1.07 (260) {G2,W4,D2,L1,V0,M1} R(72,227) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Datatype, uri_rdfs_Datatype ) }.
% 0.68/1.07 (270) {G3,W4,D2,L1,V0,M1} R(247,24) { iext( uri_rdf_type, uri_rdfs_Class,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (271) {G3,W4,D2,L1,V0,M1} R(245,24) { iext( uri_rdf_type, uri_rdfs_Literal
% 0.68/1.07 , uri_rdfs_Class ) }.
% 0.68/1.07 (272) {G3,W4,D2,L1,V0,M1} R(243,24) { iext( uri_rdf_type,
% 0.68/1.07 uri_rdfs_Container, uri_rdfs_Class ) }.
% 0.68/1.07 (87) {G1,W8,D2,L2,V1,M1} F(60) { icext( X, X ), ! iext( uri_rdfs_range,
% 0.68/1.07 uri_rdfs_range, X ) }.
% 0.68/1.07 (377) {G2,W4,D2,L1,V0,M1} R(79,89) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_range, uri_rdfs_range ) }.
% 0.68/1.07 (376) {G2,W4,D2,L1,V0,M1} R(79,90) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain ) }.
% 0.68/1.07 (375) {G2,W4,D2,L1,V0,M1} R(79,91) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_type, uri_rdf_type ) }.
% 0.68/1.07 (374) {G2,W4,D2,L1,V0,M1} R(79,92) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_subClassOf, uri_rdfs_subClassOf ) }.
% 0.68/1.07 (86) {G1,W8,D2,L2,V1,M1} F(51) { icext( X, uri_rdfs_domain ), ! iext(
% 0.68/1.07 uri_rdfs_domain, uri_rdfs_domain, X ) }.
% 0.68/1.07 (373) {G2,W4,D2,L1,V0,M1} R(79,93) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_subject, uri_rdf_subject ) }.
% 0.68/1.07 (372) {G2,W4,D2,L1,V0,M1} R(79,94) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_value, uri_rdf_value ) }.
% 0.68/1.07 (371) {G2,W4,D2,L1,V0,M1} R(79,95) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_object, uri_rdf_object ) }.
% 0.68/1.07 (370) {G2,W4,D2,L1,V0,M1} R(79,96) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf__3, uri_rdf__3 ) }.
% 0.68/1.07 (85) {G0,W25,D2,L5,V0,M1} I { ! iext( uri_rdfs_subClassOf, uri_owl_Class,
% 0.68/1.07 uri_owl_Thing ), ! iext( uri_rdf_type, uri_owl_Class, uri_owl_Thing ), !
% 0.68/1.07 iext( uri_owl_equivalentClass, uri_owl_Class, uri_rdfs_Class ), ! iext(
% 0.68/1.07 uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_owl_Class ), ! iext(
% 0.68/1.07 uri_rdf_type, uri_owl_Class, uri_owl_Class ) }.
% 0.68/1.07 (369) {G2,W4,D2,L1,V0,M1} R(79,97) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf__2, uri_rdf__2 ) }.
% 0.68/1.07 (368) {G2,W4,D2,L1,V0,M1} R(79,98) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf__1, uri_rdf__1 ) }.
% 0.68/1.07 (367) {G2,W4,D2,L1,V0,M1} R(79,99) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_rest, uri_rdf_rest ) }.
% 0.68/1.07 (366) {G2,W4,D2,L1,V0,M1} R(79,100) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_first, uri_rdf_first ) }.
% 0.68/1.07 (80) {G0,W14,D2,L3,V3,M1} I { ! iext( uri_rdfs_subPropertyOf, X, Z ), iext
% 0.68/1.07 ( uri_rdfs_subPropertyOf, X, Y ), ! iext( uri_rdfs_subPropertyOf, Z, Y )
% 0.68/1.07 }.
% 0.68/1.07 (365) {G2,W4,D2,L1,V0,M1} R(79,104) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf ) }.
% 0.68/1.07 (364) {G4,W4,D2,L1,V0,M1} R(79,218) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_member, uri_rdfs_member ) }.
% 0.68/1.07 (363) {G2,W4,D2,L1,V0,M1} R(79,219) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_seeAlso, uri_rdfs_seeAlso ) }.
% 0.68/1.07 (362) {G2,W4,D2,L1,V0,M1} R(79,285) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy ) }.
% 0.68/1.07 (79) {G0,W7,D2,L2,V1,M1} I { iext( uri_rdfs_subPropertyOf, X, X ), ! ip( X
% 0.68/1.07 ) }.
% 0.68/1.07 (273) {G6,W4,D2,L1,V0,M1} R(241,24) { iext( uri_rdf_type, uri_rdfs_Resource
% 0.68/1.07 , uri_rdfs_Class ) }.
% 0.68/1.07 (281) {G3,W4,D2,L1,V0,M1} R(235,24) { iext( uri_rdf_type, uri_rdfs_Seq,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (282) {G3,W4,D2,L1,V0,M1} R(233,24) { iext( uri_rdf_type,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class ) }.
% 0.68/1.07 (283) {G3,W4,D2,L1,V0,M1} R(231,24) { iext( uri_rdf_type, uri_rdf_Bag,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (77) {G0,W14,D2,L3,V4,M1} I { ! iext( uri_rdfs_subPropertyOf, X, Y ), iext
% 0.68/1.07 ( Y, Z, T ), ! iext( X, Z, T ) }.
% 0.68/1.07 (284) {G3,W4,D2,L1,V0,M1} R(229,24) { iext( uri_rdf_type, uri_rdf_Alt,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (287) {G3,W3,D2,L1,V0,M1} R(286,23) { icext( uri_rdf_Property,
% 0.68/1.07 uri_rdfs_isDefinedBy ) }.
% 0.68/1.07 (286) {G2,W4,D2,L1,V0,M1} R(285,12) { iext( uri_rdf_type,
% 0.68/1.07 uri_rdfs_isDefinedBy, uri_rdf_Property ) }.
% 0.68/1.07 (285) {G1,W2,D2,L1,V0,M1} R(75,18) { ip( uri_rdfs_isDefinedBy ) }.
% 0.68/1.07 (75) {G0,W7,D2,L2,V2,M1} I { ip( X ), ! iext( uri_rdfs_subPropertyOf, X, Y
% 0.68/1.07 ) }.
% 0.68/1.07 (229) {G2,W3,D2,L1,V0,M1} R(222,53) { icext( uri_rdfs_Class, uri_rdf_Alt )
% 0.68/1.07 }.
% 0.68/1.07 (231) {G2,W3,D2,L1,V0,M1} R(223,53) { icext( uri_rdfs_Class, uri_rdf_Bag )
% 0.68/1.07 }.
% 0.68/1.07 (233) {G2,W3,D2,L1,V0,M1} R(224,53) { icext( uri_rdfs_Class,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ) }.
% 0.68/1.07 (235) {G2,W3,D2,L1,V0,M1} R(225,53) { icext( uri_rdfs_Class, uri_rdfs_Seq )
% 0.68/1.07 }.
% 0.68/1.07 (73) {G0,W14,D2,L3,V3,M1} I { ! iext( uri_rdfs_subClassOf, X, Z ), iext(
% 0.68/1.07 uri_rdfs_subClassOf, X, Y ), ! iext( uri_rdfs_subClassOf, Z, Y ) }.
% 0.68/1.07 (241) {G5,W3,D2,L1,V0,M1} R(236,53) { icext( uri_rdfs_Class,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (243) {G2,W3,D2,L1,V0,M1} R(237,53) { icext( uri_rdfs_Class,
% 0.68/1.07 uri_rdfs_Container ) }.
% 0.68/1.07 (245) {G2,W3,D2,L1,V0,M1} R(238,53) { icext( uri_rdfs_Class,
% 0.68/1.07 uri_rdfs_Literal ) }.
% 0.68/1.07 (247) {G2,W3,D2,L1,V0,M1} R(239,53) { icext( uri_rdfs_Class, uri_rdfs_Class
% 0.68/1.07 ) }.
% 0.68/1.07 (72) {G0,W7,D2,L2,V1,M1} I { iext( uri_rdfs_subClassOf, X, X ), ! ic( X )
% 0.68/1.07 }.
% 0.68/1.07 (255) {G2,W3,D2,L1,V0,M1} R(226,53) { icext( uri_rdfs_Class,
% 0.68/1.07 uri_rdf_XMLLiteral ) }.
% 0.68/1.07 (257) {G2,W3,D2,L1,V0,M1} R(227,53) { icext( uri_rdfs_Class,
% 0.68/1.07 uri_rdfs_Datatype ) }.
% 0.68/1.07 (227) {G1,W2,D2,L1,V0,M1} R(68,49) { ic( uri_rdfs_Datatype ) }.
% 0.68/1.07 (226) {G1,W2,D2,L1,V0,M1} R(68,46) { ic( uri_rdf_XMLLiteral ) }.
% 0.68/1.07 (70) {G0,W12,D2,L3,V3,M1} I { ! icext( X, Z ), icext( Y, Z ), ! iext(
% 0.68/1.07 uri_rdfs_subClassOf, X, Y ) }.
% 0.68/1.07 (239) {G1,W2,D2,L1,V0,M1} R(69,49) { ic( uri_rdfs_Class ) }.
% 0.68/1.07 (238) {G1,W2,D2,L1,V0,M1} R(69,46) { ic( uri_rdfs_Literal ) }.
% 0.68/1.07 (237) {G1,W2,D2,L1,V0,M1} R(69,30) { ic( uri_rdfs_Container ) }.
% 0.68/1.07 (236) {G4,W2,D2,L1,V0,M1} R(69,130) { ic( uri_rdfs_Resource ) }.
% 0.68/1.07 (69) {G0,W7,D2,L2,V2,M1} I { ic( Y ), ! iext( uri_rdfs_subClassOf, X, Y )
% 0.68/1.07 }.
% 0.68/1.07 (225) {G1,W2,D2,L1,V0,M1} R(68,45) { ic( uri_rdfs_Seq ) }.
% 0.68/1.07 (224) {G1,W2,D2,L1,V0,M1} R(68,33) { ic(
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ) }.
% 0.68/1.07 (223) {G1,W2,D2,L1,V0,M1} R(68,31) { ic( uri_rdf_Bag ) }.
% 0.68/1.07 (222) {G1,W2,D2,L1,V0,M1} R(68,30) { ic( uri_rdf_Alt ) }.
% 0.68/1.07 (68) {G0,W7,D2,L2,V2,M1} I { ic( X ), ! iext( uri_rdfs_subClassOf, X, Y )
% 0.68/1.07 }.
% 0.68/1.07 (219) {G1,W2,D2,L1,V0,M1} R(76,18) { ip( uri_rdfs_seeAlso ) }.
% 0.68/1.07 (218) {G3,W2,D2,L1,V0,M1} R(76,128) { ip( uri_rdfs_member ) }.
% 0.68/1.07 (76) {G0,W7,D2,L2,V2,M1} I { ip( Y ), ! iext( uri_rdfs_subPropertyOf, X, Y
% 0.68/1.07 ) }.
% 0.68/1.07 (128) {G2,W4,D2,L1,V0,M1} R(32,114) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf__1, uri_rdfs_member ) }.
% 0.68/1.07 (60) {G0,W13,D2,L3,V4,M1} I { icext( X, Y ), ! iext( uri_rdfs_range, Z, X )
% 0.68/1.07 , ! iext( Z, T, Y ) }.
% 0.68/1.07 (127) {G2,W4,D2,L1,V0,M1} R(32,115) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf__2, uri_rdfs_member ) }.
% 0.68/1.07 (126) {G2,W4,D2,L1,V0,M1} R(32,117) { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf__3, uri_rdfs_member ) }.
% 0.68/1.07 (130) {G3,W4,D2,L1,V0,M1} R(129,25) { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdf_Property, uri_rdfs_Resource ) }.
% 0.68/1.07 (125) {G2,W4,D2,L1,V1,M1} R(24,55) { iext( uri_rdf_type, X,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (51) {G0,W13,D2,L3,V4,M1} I { icext( X, Y ), ! iext( uri_rdfs_domain, Z, X
% 0.68/1.07 ), ! iext( Z, Y, T ) }.
% 0.68/1.07 (124) {G1,W3,D2,L1,V0,M1} R(23,2) { icext( uri_rdf_Property, uri_rdf_first
% 0.68/1.07 ) }.
% 0.68/1.07 (123) {G1,W3,D2,L1,V0,M1} R(23,3) { icext( uri_rdf_List, uri_rdf_nil ) }.
% 0.68/1.07 (122) {G1,W3,D2,L1,V0,M1} R(23,4) { icext( uri_rdf_Property, uri_rdf_rest )
% 0.68/1.07 }.
% 0.68/1.07 (129) {G2,W2,D2,L1,V0,M1} R(121,54) { ic( uri_rdf_Property ) }.
% 0.68/1.07 (48) {G0,W8,D2,L2,V1,M1} I { iext( uri_rdfs_subClassOf, X, uri_rdfs_Literal
% 0.68/1.07 ), ! icext( uri_rdfs_Datatype, X ) }.
% 0.68/1.07 (121) {G1,W3,D2,L1,V0,M1} R(23,58) { icext( uri_rdfs_Class,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (120) {G1,W3,D2,L1,V0,M1} R(23,5) { icext( uri_rdf_Property, uri_rdf__1 )
% 0.68/1.07 }.
% 0.68/1.07 (119) {G1,W3,D2,L1,V0,M1} R(23,6) { icext( uri_rdf_Property, uri_rdf__2 )
% 0.68/1.07 }.
% 0.68/1.07 (118) {G1,W3,D2,L1,V0,M1} R(23,47) { icext( uri_rdfs_Datatype,
% 0.68/1.07 uri_rdf_XMLLiteral ) }.
% 0.68/1.07 (32) {G0,W8,D2,L2,V1,M1} I { iext( uri_rdfs_subPropertyOf, X,
% 0.68/1.07 uri_rdfs_member ), ! icext( uri_rdfs_ContainerMembershipProperty, X ) }.
% 0.68/1.07 (117) {G1,W3,D2,L1,V0,M1} R(23,44) { icext(
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty, uri_rdf__3 ) }.
% 0.68/1.07 (116) {G1,W3,D2,L1,V0,M1} R(23,7) { icext( uri_rdf_Property, uri_rdf__3 )
% 0.68/1.07 }.
% 0.68/1.07 (115) {G1,W3,D2,L1,V0,M1} R(23,43) { icext(
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty, uri_rdf__2 ) }.
% 0.68/1.07 (114) {G1,W3,D2,L1,V0,M1} R(23,42) { icext(
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty, uri_rdf__1 ) }.
% 0.68/1.07 (25) {G0,W7,D2,L2,V1,M1} I { iext( uri_rdfs_subClassOf, X,
% 0.68/1.07 uri_rdfs_Resource ), ! ic( X ) }.
% 0.68/1.07 (113) {G1,W3,D2,L1,V0,M1} R(23,8) { icext( uri_rdf_Property, uri_rdf_object
% 0.68/1.07 ) }.
% 0.68/1.07 (112) {G1,W3,D2,L1,V0,M1} R(23,9) { icext( uri_rdf_Property, uri_rdf_value
% 0.68/1.07 ) }.
% 0.68/1.07 (111) {G1,W3,D2,L1,V0,M1} R(23,10) { icext( uri_rdf_Property,
% 0.68/1.07 uri_rdf_subject ) }.
% 0.68/1.07 (110) {G1,W3,D2,L1,V0,M1} R(23,13) { icext( uri_rdf_Property, uri_rdf_type
% 0.68/1.07 ) }.
% 0.68/1.07 (24) {G0,W8,D2,L2,V2,M1} I { iext( uri_rdf_type, X, Y ), ! icext( Y, X )
% 0.68/1.07 }.
% 0.68/1.07 (109) {G3,W3,D2,L1,V0,M1} R(23,101) { icext( uri_rdf_Property,
% 0.68/1.07 uri_rdfs_subClassOf ) }.
% 0.68/1.07 (108) {G3,W3,D2,L1,V0,M1} R(23,102) { icext( uri_rdf_Property,
% 0.68/1.07 uri_rdfs_domain ) }.
% 0.68/1.07 (107) {G3,W3,D2,L1,V0,M1} R(23,103) { icext( uri_rdf_Property,
% 0.68/1.07 uri_rdfs_range ) }.
% 0.68/1.07 (106) {G3,W3,D2,L1,V0,M1} R(23,105) { icext( uri_rdf_Property,
% 0.68/1.07 uri_rdfs_subPropertyOf ) }.
% 0.68/1.07 (23) {G0,W8,D2,L2,V2,M1} I { icext( Y, X ), ! iext( uri_rdf_type, X, Y )
% 0.68/1.07 }.
% 0.68/1.07 (53) {G0,W6,D2,L2,V1,M1} I { icext( uri_rdfs_Class, X ), ! ic( X ) }.
% 0.68/1.07 (54) {G0,W6,D2,L2,V1,M1} I { ic( X ), ! icext( uri_rdfs_Class, X ) }.
% 0.68/1.07 (56) {G0,W6,D2,L2,V1,M1} I { icext( uri_rdfs_Literal, X ), ! lv( X ) }.
% 0.68/1.07 (57) {G0,W6,D2,L2,V1,M1} I { lv( X ), ! icext( uri_rdfs_Literal, X ) }.
% 0.68/1.07 (16) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdfs_isDefinedBy,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (17) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdfs_isDefinedBy,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (105) {G2,W4,D2,L1,V0,M1} R(104,12) { iext( uri_rdf_type,
% 0.68/1.07 uri_rdfs_subPropertyOf, uri_rdf_Property ) }.
% 0.68/1.07 (104) {G1,W2,D2,L1,V0,M1} R(18,0) { ip( uri_rdfs_subPropertyOf ) }.
% 0.68/1.07 (18) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdfs_isDefinedBy, uri_rdfs_seeAlso ) }.
% 0.68/1.07 (15) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdfs_comment,
% 0.68/1.07 uri_rdfs_Literal ) }.
% 0.68/1.07 (19) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdfs_label,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (20) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdfs_label,
% 0.68/1.07 uri_rdfs_Literal ) }.
% 0.68/1.07 (21) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdfs_seeAlso,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (22) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdfs_seeAlso,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (14) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdfs_comment,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (26) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdf_first,
% 0.68/1.07 uri_rdf_List ) }.
% 0.68/1.07 (103) {G2,W4,D2,L1,V0,M1} R(12,89) { iext( uri_rdf_type, uri_rdfs_range,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (102) {G2,W4,D2,L1,V0,M1} R(12,90) { iext( uri_rdf_type, uri_rdfs_domain,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (101) {G2,W4,D2,L1,V0,M1} R(12,92) { iext( uri_rdf_type,
% 0.68/1.07 uri_rdfs_subClassOf, uri_rdf_Property ) }.
% 0.68/1.07 (13) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf_type,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (100) {G1,W2,D2,L1,V0,M1} R(11,2) { ip( uri_rdf_first ) }.
% 0.68/1.07 (99) {G1,W2,D2,L1,V0,M1} R(11,4) { ip( uri_rdf_rest ) }.
% 0.68/1.07 (98) {G1,W2,D2,L1,V0,M1} R(11,5) { ip( uri_rdf__1 ) }.
% 0.68/1.07 (97) {G1,W2,D2,L1,V0,M1} R(11,6) { ip( uri_rdf__2 ) }.
% 0.68/1.07 (12) {G0,W7,D2,L2,V1,M1} I { iext( uri_rdf_type, X, uri_rdf_Property ), !
% 0.68/1.07 ip( X ) }.
% 0.68/1.07 (96) {G1,W2,D2,L1,V0,M1} R(11,7) { ip( uri_rdf__3 ) }.
% 0.68/1.07 (95) {G1,W2,D2,L1,V0,M1} R(11,8) { ip( uri_rdf_object ) }.
% 0.68/1.07 (94) {G1,W2,D2,L1,V0,M1} R(11,9) { ip( uri_rdf_value ) }.
% 0.68/1.07 (93) {G1,W2,D2,L1,V0,M1} R(11,10) { ip( uri_rdf_subject ) }.
% 0.68/1.07 (11) {G0,W7,D2,L2,V1,M1} I { ip( X ), ! iext( uri_rdf_type, X,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (27) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdf_first,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (28) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdf_rest,
% 0.68/1.07 uri_rdf_List ) }.
% 0.68/1.07 (29) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdf_rest,
% 0.68/1.07 uri_rdf_List ) }.
% 0.68/1.07 (30) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_subClassOf, uri_rdf_Alt,
% 0.68/1.07 uri_rdfs_Container ) }.
% 0.68/1.07 (10) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf_subject,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (31) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_subClassOf, uri_rdf_Bag,
% 0.68/1.07 uri_rdfs_Container ) }.
% 0.68/1.07 (33) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty, uri_rdf_Property ) }.
% 0.68/1.07 (34) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdfs_member,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (35) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdfs_member,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (9) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf_value,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (36) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdf__1,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (37) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdf__2,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (38) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdf__3,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (39) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdf__1,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (8) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf_object,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (40) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdf__2,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (41) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdf__3,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (42) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf__1,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ) }.
% 0.68/1.07 (43) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf__2,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ) }.
% 0.68/1.07 (7) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf__3,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (44) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf__3,
% 0.68/1.07 uri_rdfs_ContainerMembershipProperty ) }.
% 0.68/1.07 (45) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_subClassOf, uri_rdfs_Seq,
% 0.68/1.07 uri_rdfs_Container ) }.
% 0.68/1.07 (46) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_subClassOf, uri_rdf_XMLLiteral
% 0.68/1.07 , uri_rdfs_Literal ) }.
% 0.68/1.07 (47) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf_XMLLiteral,
% 0.68/1.07 uri_rdfs_Datatype ) }.
% 0.68/1.07 (6) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf__2,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (92) {G1,W2,D2,L1,V0,M1} R(49,0) { ip( uri_rdfs_subClassOf ) }.
% 0.68/1.07 (49) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_subClassOf, uri_rdfs_Datatype,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (50) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdfs_domain,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (52) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdfs_domain,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (5) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf__1,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (58) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf_Property,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (59) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdfs_range,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (61) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdfs_range,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (62) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdf_object,
% 0.68/1.07 uri_rdfs_Statement ) }.
% 0.68/1.07 (4) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf_rest,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (63) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdf_predicate,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (64) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdf_predicate,
% 0.68/1.07 uri_rdfs_Statement ) }.
% 0.68/1.07 (65) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdf_subject,
% 0.68/1.07 uri_rdfs_Statement ) }.
% 0.68/1.07 (66) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdf_subject,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (3) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf_nil, uri_rdf_List )
% 0.68/1.07 }.
% 0.68/1.07 (67) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (71) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdfs_subClassOf,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (74) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdfs_subPropertyOf
% 0.68/1.07 , uri_rdf_Property ) }.
% 0.68/1.07 (91) {G1,W2,D2,L1,V0,M1} R(2,0) { ip( uri_rdf_type ) }.
% 0.68/1.07 (2) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdf_type, uri_rdf_first,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (78) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdfs_subPropertyOf,
% 0.68/1.07 uri_rdf_Property ) }.
% 0.68/1.07 (81) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdf_type,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (90) {G1,W2,D2,L1,V0,M1} R(0,83) { ip( uri_rdfs_domain ) }.
% 0.68/1.07 (89) {G1,W2,D2,L1,V0,M1} R(0,82) { ip( uri_rdfs_range ) }.
% 0.68/1.07 (0) {G0,W7,D2,L2,V3,M1} I { ip( X ), ! iext( X, Y, Z ) }.
% 0.68/1.07 (82) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdf_type,
% 0.68/1.07 uri_rdfs_Class ) }.
% 0.68/1.07 (83) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_domain, uri_rdf_value,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (84) {G0,W4,D2,L1,V0,M1} I { iext( uri_rdfs_range, uri_rdf_value,
% 0.68/1.07 uri_rdfs_Resource ) }.
% 0.68/1.07 (55) {G1,W3,D2,L1,V1,M1} I;r(1) { icext( uri_rdfs_Resource, X ) }.
% 0.68/1.07 (1) {G0,W2,D2,L1,V1,M1} I { ir( X ) }.
% 0.68/1.07
% 0.68/1.07
% 0.68/1.07 % SZS output end Saturation
% 0.68/1.07 end of saturation!
% 0.68/1.07
% 0.68/1.07 Memory use:
% 0.68/1.07
% 0.68/1.07 space for terms: 4648
% 0.68/1.07 space for clauses: 23825
% 0.68/1.07
% 0.68/1.07
% 0.68/1.07 clauses generated: 1274
% 0.68/1.07 clauses kept: 518
% 0.68/1.07 clauses selected: 502
% 0.68/1.07 clauses deleted: 16
% 0.68/1.07 clauses inuse deleted: 0
% 0.68/1.07
% 0.68/1.07 subsentry: 1846
% 0.68/1.07 literals s-matched: 781
% 0.68/1.07 literals matched: 750
% 0.68/1.07 full subsumption: 6
% 0.68/1.07
% 0.68/1.07 checksum: 378234752
% 0.68/1.07
% 0.68/1.07
% 0.68/1.07 Bliksem ended
%------------------------------------------------------------------------------