TSTP Solution File: SWB019+4 by Metis---2.4
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Metis---2.4
% Problem : SWB019+4 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : metis --show proof --show saturation %s
% Computer : n028.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 : 600s
% DateTime : Tue Jul 19 19:15:24 EDT 2022
% Result : Satisfiable 0.18s 0.43s
% Output : Saturation 0.18s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : SWB019+4 : TPTP v8.1.0. Released v5.2.0.
% 0.03/0.12 % Command : metis --show proof --show saturation %s
% 0.12/0.33 % Computer : n028.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 % WCLimit : 600
% 0.12/0.33 % DateTime : Wed Jun 1 12:01:37 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 0.18/0.43 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.18/0.43
% 0.18/0.43 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.18/0.43 |- ~iext $P $S $O \/ ip $P
% 0.18/0.43 |- ir $X
% 0.18/0.43 |- iext uri_rdf_type uri_rdf_first uri_rdf_Property
% 0.18/0.43 |- iext uri_rdf_type uri_rdf_nil uri_rdf_List
% 0.18/0.43 |- iext uri_rdf_type uri_rdf_rest uri_rdf_Property
% 0.18/0.43 |- iext uri_rdf_type uri_rdf__1 uri_rdf_Property
% 0.18/0.43 |- iext uri_rdf_type uri_rdf__2 uri_rdf_Property
% 0.18/0.43 |- iext uri_rdf_type uri_rdf__3 uri_rdf_Property
% 0.18/0.43 |- iext uri_rdf_type uri_rdf_object uri_rdf_Property
% 0.18/0.43 |- iext uri_rdf_type uri_rdf_value uri_rdf_Property
% 0.18/0.43 |- iext uri_rdf_type uri_rdf_subject uri_rdf_Property
% 0.18/0.43 |- ~iext uri_rdf_type $P uri_rdf_Property \/ ip $P
% 0.18/0.43 |- ~ip $P \/ iext uri_rdf_type $P uri_rdf_Property
% 0.18/0.43 |- iext uri_rdf_type uri_rdf_type uri_rdf_Property
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdfs_comment uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_range uri_rdfs_comment uri_rdfs_Literal
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdfs_isDefinedBy uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_range uri_rdfs_isDefinedBy uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_rdfs_isDefinedBy uri_rdfs_seeAlso
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdfs_label uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_range uri_rdfs_label uri_rdfs_Literal
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdfs_seeAlso uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_range uri_rdfs_seeAlso uri_rdfs_Resource
% 0.18/0.43 |- ~icext $C $X \/ iext uri_rdf_type $X $C
% 0.18/0.43 |- ~iext uri_rdf_type $X $C \/ icext $C $X
% 0.18/0.43 |- ~ic $C \/ iext uri_rdfs_subClassOf $C uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdf_first uri_rdf_List
% 0.18/0.43 |- iext uri_rdfs_range uri_rdf_first uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdf_rest uri_rdf_List
% 0.18/0.43 |- iext uri_rdfs_range uri_rdf_rest uri_rdf_List
% 0.18/0.43 |- iext uri_rdfs_subClassOf uri_rdf_Alt uri_rdfs_Container
% 0.18/0.43 |- iext uri_rdfs_subClassOf uri_rdf_Bag uri_rdfs_Container
% 0.18/0.43 |- ~icext uri_rdfs_ContainerMembershipProperty $P \/
% 0.18/0.43 iext uri_rdfs_subPropertyOf $P uri_rdfs_member
% 0.18/0.43 |- iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty
% 0.18/0.43 uri_rdf_Property
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdfs_member uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_range uri_rdfs_member uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdf__1 uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdf__2 uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdf__3 uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_range uri_rdf__1 uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_range uri_rdf__2 uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_range uri_rdf__3 uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdf_type uri_rdf__1 uri_rdfs_ContainerMembershipProperty
% 0.18/0.43 |- iext uri_rdf_type uri_rdf__2 uri_rdfs_ContainerMembershipProperty
% 0.18/0.43 |- iext uri_rdf_type uri_rdf__3 uri_rdfs_ContainerMembershipProperty
% 0.18/0.43 |- iext uri_rdfs_subClassOf uri_rdfs_Seq uri_rdfs_Container
% 0.18/0.43 |- iext uri_rdfs_subClassOf uri_rdf_XMLLiteral uri_rdfs_Literal
% 0.18/0.43 |- iext uri_rdf_type uri_rdf_XMLLiteral uri_rdfs_Datatype
% 0.18/0.43 |- ~icext uri_rdfs_Datatype $D \/
% 0.18/0.43 iext uri_rdfs_subClassOf $D uri_rdfs_Literal
% 0.18/0.43 |- iext uri_rdfs_subClassOf uri_rdfs_Datatype uri_rdfs_Class
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdfs_domain uri_rdf_Property
% 0.18/0.43 |- ~iext $P $X $Y \/ ~iext uri_rdfs_domain $P $C \/ icext $C $X
% 0.18/0.43 |- iext uri_rdfs_range uri_rdfs_domain uri_rdfs_Class
% 0.18/0.43 |- ~ic $X \/ icext uri_rdfs_Class $X
% 0.18/0.43 |- ~icext uri_rdfs_Class $X \/ ic $X
% 0.18/0.43 |- icext uri_rdfs_Resource $X
% 0.18/0.43 |- ~icext uri_rdfs_Literal $X \/ lv $X
% 0.18/0.43 |- ~lv $X \/ icext uri_rdfs_Literal $X
% 0.18/0.43 |- iext uri_rdf_type uri_rdf_Property uri_rdfs_Class
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdfs_range uri_rdf_Property
% 0.18/0.43 |- ~iext $P $X $Y \/ ~iext uri_rdfs_range $P $C \/ icext $C $Y
% 0.18/0.43 |- iext uri_rdfs_range uri_rdfs_range uri_rdfs_Class
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdf_object uri_rdfs_Statement
% 0.18/0.43 |- iext uri_rdfs_range uri_rdf_predicate uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdf_predicate uri_rdfs_Statement
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdf_subject uri_rdfs_Statement
% 0.18/0.43 |- iext uri_rdfs_range uri_rdf_subject uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdfs_subClassOf uri_rdfs_Class
% 0.18/0.43 |- ~iext uri_rdfs_subClassOf $C $D \/ ic $C
% 0.18/0.43 |- ~iext uri_rdfs_subClassOf $C $D \/ ic $D
% 0.18/0.43 |- ~icext $C $X \/ ~iext uri_rdfs_subClassOf $C $D \/ icext $D $X
% 0.18/0.43 |- iext uri_rdfs_range uri_rdfs_subClassOf uri_rdfs_Class
% 0.18/0.43 |- ~ic $C \/ iext uri_rdfs_subClassOf $C $C
% 0.18/0.43 |- ~iext uri_rdfs_subClassOf $C $D \/ ~iext uri_rdfs_subClassOf $D $E \/
% 0.18/0.43 iext uri_rdfs_subClassOf $C $E
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdfs_subPropertyOf uri_rdf_Property
% 0.18/0.43 |- ~iext uri_rdfs_subPropertyOf $P $Q \/ ip $P
% 0.18/0.43 |- ~iext uri_rdfs_subPropertyOf $P $Q \/ ip $Q
% 0.18/0.43 |- ~iext $P $X $Y \/ ~iext uri_rdfs_subPropertyOf $P $Q \/ iext $Q $X $Y
% 0.18/0.43 |- iext uri_rdfs_range uri_rdfs_subPropertyOf uri_rdf_Property
% 0.18/0.43 |- ~ip $P \/ iext uri_rdfs_subPropertyOf $P $P
% 0.18/0.43 |- ~iext uri_rdfs_subPropertyOf $P $Q \/
% 0.18/0.43 ~iext uri_rdfs_subPropertyOf $Q $R \/ iext uri_rdfs_subPropertyOf $P $R
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdf_type uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_range uri_rdf_type uri_rdfs_Class
% 0.18/0.43 |- iext uri_rdfs_domain uri_rdf_value uri_rdfs_Resource
% 0.18/0.43 |- iext uri_rdfs_range uri_rdf_value uri_rdfs_Resource
% 0.18/0.43 |- iext uri_owl_propertyDisjointWith uri_skos_prefLabel uri_skos_altLabel
% 0.18/0.43 |- iext uri_rdf_type uri_skos_altLabel uri_owl_AnnotationProperty
% 0.18/0.43 |- iext uri_rdf_type uri_skos_prefLabel uri_owl_AnnotationProperty
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_skos_altLabel uri_rdfs_label
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_skos_prefLabel uri_rdfs_label
% 0.18/0.43 |- iext uri_skos_altLabel uri_ex_foo (literal_plain dat_str_foo)
% 0.18/0.43 |- iext uri_skos_prefLabel uri_ex_foo (literal_plain dat_str_foo)
% 0.18/0.43 |- ~iext uri_rdfs_domain uri_rdfs_domain $C \/ icext $C uri_rdfs_domain
% 0.18/0.43 |- ~iext uri_rdfs_range uri_rdfs_range $C \/ icext $C $C
% 0.18/0.43 |- ~iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $Q \/
% 0.18/0.43 iext $Q uri_rdfs_subPropertyOf $Q
% 0.18/0.43 |- ip uri_rdf__1
% 0.18/0.43 |- ip uri_rdf__2
% 0.18/0.43 |- ip uri_rdf__3
% 0.18/0.43 |- ip uri_rdf_first
% 0.18/0.43 |- ip uri_rdf_object
% 0.18/0.43 |- ip uri_rdf_rest
% 0.18/0.43 |- ip uri_rdf_subject
% 0.18/0.43 |- ip uri_rdf_type
% 0.18/0.43 |- ip uri_rdf_value
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_rdf__1 uri_rdf__1
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_rdf__2 uri_rdf__2
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_rdf__3 uri_rdf__3
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_rdf_first uri_rdf_first
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_rdf_object uri_rdf_object
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_rdf_rest uri_rdf_rest
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_rdf_subject uri_rdf_subject
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_rdf_type uri_rdf_type
% 0.18/0.43 |- iext uri_rdfs_subPropertyOf uri_rdf_value uri_rdf_value
% 0.18/0.43 |- icext uri_rdf_Property uri_rdfs_domain
% 0.18/0.43 |- icext uri_rdfs_Class uri_rdfs_Class
% 0.18/0.43 |- ic uri_rdfs_Class
% 0.18/0.43 |- iext uri_rdfs_subClassOf uri_rdfs_Class uri_rdfs_Class
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_Class uri_rdfs_Resource
% 0.18/0.44 |- ic uri_rdf_Alt
% 0.18/0.44 |- ic uri_rdf_Bag
% 0.18/0.44 |- ic uri_rdf_XMLLiteral
% 0.18/0.44 |- ic uri_rdfs_ContainerMembershipProperty
% 0.18/0.44 |- ic uri_rdfs_Datatype
% 0.18/0.44 |- ic uri_rdfs_Seq
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty
% 0.18/0.44 uri_rdfs_ContainerMembershipProperty
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty
% 0.18/0.44 uri_rdfs_Resource
% 0.18/0.44 |- icext uri_rdfs_Class uri_rdfs_ContainerMembershipProperty
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdf_Alt uri_rdf_Alt
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdf_Alt uri_rdfs_Resource
% 0.18/0.44 |- icext uri_rdfs_Class uri_rdf_Alt
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdf_Bag uri_rdf_Bag
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdf_Bag uri_rdfs_Resource
% 0.18/0.44 |- icext uri_rdfs_Class uri_rdf_Bag
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdf_XMLLiteral uri_rdf_XMLLiteral
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdf_XMLLiteral uri_rdfs_Resource
% 0.18/0.44 |- icext uri_rdfs_Class uri_rdf_XMLLiteral
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_Datatype uri_rdfs_Datatype
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_Datatype uri_rdfs_Resource
% 0.18/0.44 |- icext uri_rdfs_Class uri_rdfs_Datatype
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_Seq uri_rdfs_Seq
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_Seq uri_rdfs_Resource
% 0.18/0.44 |- icext uri_rdfs_Class uri_rdfs_Seq
% 0.18/0.44 |- ic uri_rdfs_Container
% 0.18/0.44 |- ic uri_rdfs_Resource
% 0.18/0.44 |- ic uri_rdfs_Literal
% 0.18/0.44 |- ic uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdf_Property uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdf_Property uri_rdfs_Resource
% 0.18/0.44 |- icext uri_rdfs_Class uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_Container uri_rdfs_Container
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_Container uri_rdfs_Resource
% 0.18/0.44 |- icext uri_rdfs_Class uri_rdfs_Container
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_Resource uri_rdfs_Resource
% 0.18/0.44 |- icext uri_rdfs_Class uri_rdfs_Resource
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_Literal uri_rdfs_Literal
% 0.18/0.44 |- iext uri_rdfs_subClassOf uri_rdfs_Literal uri_rdfs_Resource
% 0.18/0.44 |- icext uri_rdfs_Class uri_rdfs_Literal
% 0.18/0.44 |- ip uri_rdfs_isDefinedBy
% 0.18/0.44 |- ip uri_skos_altLabel
% 0.18/0.44 |- ip uri_skos_prefLabel
% 0.18/0.44 |- iext uri_rdf_type uri_skos_altLabel uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_skos_altLabel uri_skos_altLabel
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_isDefinedBy uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_rdfs_isDefinedBy uri_rdfs_isDefinedBy
% 0.18/0.44 |- iext uri_rdf_type uri_skos_prefLabel uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_skos_prefLabel uri_skos_prefLabel
% 0.18/0.44 |- ip uri_rdfs_seeAlso
% 0.18/0.44 |- ip uri_rdfs_label
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_seeAlso uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_rdfs_seeAlso uri_rdfs_seeAlso
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_label uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_rdfs_label uri_rdfs_label
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_domain uri_rdf_Property
% 0.18/0.44 |- iext uri_rdf_type uri_rdf_Alt uri_rdfs_Class
% 0.18/0.44 |- iext uri_rdf_type uri_rdf_Bag uri_rdfs_Class
% 0.18/0.44 |- iext uri_rdf_type uri_rdf_XMLLiteral uri_rdfs_Class
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_Class uri_rdfs_Class
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_Container uri_rdfs_Class
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_ContainerMembershipProperty uri_rdfs_Class
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_Datatype uri_rdfs_Class
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_Literal uri_rdfs_Class
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_Resource uri_rdfs_Class
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_Seq uri_rdfs_Class
% 0.18/0.44 |- iext uri_rdf_type $_25 uri_rdfs_Resource
% 0.18/0.44 |- ip uri_rdfs_domain
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_rdfs_domain uri_rdfs_domain
% 0.18/0.44 |- icext uri_rdfs_Datatype uri_rdf_XMLLiteral
% 0.18/0.44 |- icext uri_rdf_Property uri_rdf__1
% 0.18/0.44 |- icext uri_rdfs_ContainerMembershipProperty uri_rdf__1
% 0.18/0.44 |- icext uri_rdf_Property uri_rdf__2
% 0.18/0.44 |- icext uri_rdfs_ContainerMembershipProperty uri_rdf__2
% 0.18/0.44 |- icext uri_rdf_Property uri_rdf__3
% 0.18/0.44 |- icext uri_rdfs_ContainerMembershipProperty uri_rdf__3
% 0.18/0.44 |- icext uri_rdf_Property uri_rdf_first
% 0.18/0.44 |- icext uri_rdf_List uri_rdf_nil
% 0.18/0.44 |- icext uri_rdf_Property uri_rdf_object
% 0.18/0.44 |- icext uri_rdf_Property uri_rdf_rest
% 0.18/0.44 |- icext uri_rdf_Property uri_rdf_subject
% 0.18/0.44 |- icext uri_rdf_Property uri_rdf_type
% 0.18/0.44 |- icext uri_rdf_Property uri_rdf_value
% 0.18/0.44 |- icext uri_rdf_Property uri_rdfs_isDefinedBy
% 0.18/0.44 |- icext uri_rdf_Property uri_rdfs_label
% 0.18/0.44 |- icext uri_rdf_Property uri_rdfs_seeAlso
% 0.18/0.44 |- icext uri_owl_AnnotationProperty uri_skos_altLabel
% 0.18/0.44 |- icext uri_rdf_Property uri_skos_altLabel
% 0.18/0.44 |- icext uri_owl_AnnotationProperty uri_skos_prefLabel
% 0.18/0.44 |- icext uri_rdf_Property uri_skos_prefLabel
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_rdf__2 uri_rdfs_member
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_rdf__3 uri_rdfs_member
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_rdf__1 uri_rdfs_member
% 0.18/0.44 |- ip uri_rdfs_member
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_member uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_rdfs_member uri_rdfs_member
% 0.18/0.44 |- icext uri_rdf_Property uri_rdfs_member
% 0.18/0.44 |- ip uri_owl_propertyDisjointWith
% 0.18/0.44 |- ip uri_rdfs_range
% 0.18/0.44 |- ip uri_rdfs_subClassOf
% 0.18/0.44 |- ip uri_rdfs_subPropertyOf
% 0.18/0.44 |- iext uri_rdf_type uri_owl_propertyDisjointWith uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_owl_propertyDisjointWith
% 0.18/0.44 uri_owl_propertyDisjointWith
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_range uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_rdfs_range uri_rdfs_range
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_subClassOf uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf uri_rdfs_subClassOf
% 0.18/0.44 |- iext uri_rdf_type uri_rdfs_subPropertyOf uri_rdf_Property
% 0.18/0.44 |- iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf
% 0.18/0.44 uri_rdfs_subPropertyOf
% 0.18/0.44 |- icext uri_rdf_Property uri_owl_propertyDisjointWith
% 0.18/0.44 |- icext uri_rdf_Property uri_rdfs_range
% 0.18/0.44 |- icext uri_rdf_Property uri_rdfs_subClassOf
% 0.18/0.44 |- icext uri_rdf_Property uri_rdfs_subPropertyOf
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdf_type $_32 \/ icext $_32 $_34
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_domain $_32 \/
% 0.18/0.44 icext $_32 uri_rdfs_isDefinedBy
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_domain $_32 \/ icext $_32 uri_rdfs_label
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_domain $_32 \/ icext $_32 uri_rdfs_member
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_domain $_32 \/ icext $_32 uri_rdfs_range
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_domain $_32 \/
% 0.18/0.44 icext $_32 uri_rdfs_seeAlso
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_domain $_32 \/
% 0.18/0.44 icext $_32 uri_rdfs_subClassOf
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_domain $_32 \/
% 0.18/0.44 icext $_32 uri_rdfs_subPropertyOf
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdf__1
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdf__2
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdf__3
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdf_first
% 0.18/0.44 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/
% 0.18/0.44 icext $_32 uri_rdf_predicate
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdf_rest
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdf_subject
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdf_type
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdf_value
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdfs_comment
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdfs_domain
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_isDefinedBy
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdfs_label
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdfs_member
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdfs_range
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/ icext $_32 uri_rdfs_seeAlso
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_subClassOf
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_range $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_subPropertyOf
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_32 \/ icext $_32 uri_rdf_Alt
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_32 \/ icext $_32 uri_rdf_Bag
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdf_Property
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdf_XMLLiteral
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_Class
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_Container
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_ContainerMembershipProperty
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_Datatype
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_Literal
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_Seq
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_owl_propertyDisjointWith
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdf__1
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdf__2
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdf__3
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdf_first
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdf_object
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdf_rest
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdf_subject
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdf_type
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdf_value
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_domain
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_isDefinedBy
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_label
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_member
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_range
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_seeAlso
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_subClassOf
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_rdfs_subPropertyOf
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_skos_altLabel
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_32 \/
% 0.18/0.45 icext $_32 uri_skos_prefLabel
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_skos_altLabel $_32 \/ icext $_32 uri_ex_foo
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_skos_prefLabel $_32 \/ icext $_32 uri_ex_foo
% 0.18/0.45 |- ~iext uri_rdf_first $_34 $_35 \/ icext uri_rdf_List $_34
% 0.18/0.45 |- ~iext uri_rdf_object $_34 $_35 \/ icext uri_rdfs_Statement $_34
% 0.18/0.45 |- ~iext uri_rdf_predicate $_34 $_35 \/ icext uri_rdfs_Statement $_34
% 0.18/0.45 |- ~iext uri_rdf_rest $_34 $_35 \/ icext uri_rdf_List $_34
% 0.18/0.45 |- ~iext uri_rdf_subject $_34 $_35 \/ icext uri_rdfs_Statement $_34
% 0.18/0.45 |- ~iext uri_rdfs_domain $_34 $_35 \/ icext uri_rdf_Property $_34
% 0.18/0.45 |- icext uri_rdf_Property uri_rdf_predicate
% 0.18/0.45 |- iext uri_rdf_type uri_rdf_predicate uri_rdf_Property
% 0.18/0.45 |- ip uri_rdf_predicate
% 0.18/0.45 |- iext uri_rdfs_subPropertyOf uri_rdf_predicate uri_rdf_predicate
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $C \/
% 0.18/0.45 icext $C uri_rdf_predicate
% 0.18/0.45 |- icext uri_rdf_Property uri_rdfs_comment
% 0.18/0.45 |- iext uri_rdf_type uri_rdfs_comment uri_rdf_Property
% 0.18/0.45 |- ip uri_rdfs_comment
% 0.18/0.45 |- iext uri_rdfs_subPropertyOf uri_rdfs_comment uri_rdfs_comment
% 0.18/0.45 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $C \/
% 0.18/0.45 icext $C uri_rdfs_comment
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf uri_rdfs_Resource $_111 \/ icext $_111 $_112
% 0.18/0.45 |- ~icext uri_rdf_Alt $_112 \/ icext uri_rdfs_Container $_112
% 0.18/0.45 |- ~icext uri_rdf_Bag $_112 \/ icext uri_rdfs_Container $_112
% 0.18/0.45 |- ~icext uri_rdf_XMLLiteral $_112 \/ icext uri_rdfs_Literal $_112
% 0.18/0.45 |- ~icext uri_rdfs_ContainerMembershipProperty $_112 \/
% 0.18/0.45 icext uri_rdf_Property $_112
% 0.18/0.45 |- ~icext uri_rdfs_Datatype $_112 \/ icext uri_rdfs_Class $_112
% 0.18/0.45 |- ~icext uri_rdfs_Seq $_112 \/ icext uri_rdfs_Container $_112
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf uri_rdf_Property $_123 \/
% 0.18/0.45 iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty $_123
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf uri_rdfs_Class $_123 \/
% 0.18/0.45 iext uri_rdfs_subClassOf uri_rdfs_Datatype $_123
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf uri_rdfs_Container $_123 \/
% 0.18/0.45 iext uri_rdfs_subClassOf uri_rdfs_Seq $_123
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf uri_rdfs_Resource $_123 \/
% 0.18/0.45 iext uri_rdfs_subClassOf uri_rdfs_Seq $_123
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdf_Alt \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Container
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdf_Alt \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdf_Bag \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Container
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdf_Bag \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdf_Property \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdf_XMLLiteral \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Literal
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdf_XMLLiteral \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdfs_Class \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdfs_Container \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdfs_ContainerMembershipProperty \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdf_Property
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdfs_ContainerMembershipProperty \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdfs_Datatype \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Class
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdfs_Datatype \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdfs_Literal \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdfs_Seq \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Container
% 0.18/0.45 |- ~iext uri_rdfs_subClassOf $_121 uri_rdfs_Seq \/
% 0.18/0.45 iext uri_rdfs_subClassOf $_121 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_subPropertyOf uri_rdfs_label $_146 \/
% 0.18/0.45 iext uri_rdfs_subPropertyOf uri_skos_altLabel $_146
% 0.18/0.45 |- ~iext uri_rdfs_subPropertyOf uri_rdfs_label $_146 \/
% 0.18/0.45 iext uri_rdfs_subPropertyOf uri_skos_prefLabel $_146
% 0.18/0.45 |- ~iext uri_rdfs_subPropertyOf $_144 uri_rdf__1 \/
% 0.18/0.45 iext uri_rdfs_subPropertyOf $_144 uri_rdfs_member
% 0.18/0.45 |- ~iext uri_rdfs_subPropertyOf $_144 uri_rdf__2 \/
% 0.18/0.45 iext uri_rdfs_subPropertyOf $_144 uri_rdfs_member
% 0.18/0.45 |- ~iext uri_rdfs_subPropertyOf $_144 uri_rdf__3 \/
% 0.18/0.45 iext uri_rdfs_subPropertyOf $_144 uri_rdfs_member
% 0.18/0.45 |- ~iext uri_rdfs_subPropertyOf $_144 uri_rdfs_isDefinedBy \/
% 0.18/0.45 iext uri_rdfs_subPropertyOf $_144 uri_rdfs_seeAlso
% 0.18/0.45 |- ~iext uri_rdfs_subPropertyOf $_144 uri_skos_altLabel \/
% 0.18/0.45 iext uri_rdfs_subPropertyOf $_144 uri_rdfs_label
% 0.18/0.45 |- ~iext uri_rdfs_subPropertyOf $_144 uri_skos_prefLabel \/
% 0.18/0.45 iext uri_rdfs_subPropertyOf $_144 uri_rdfs_label
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdf_type $_155 \/ icext $_155 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_range $_155 \/ icext $_155 uri_rdfs_Class
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_range $_155 \/
% 0.18/0.45 icext $_155 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_range $_155 \/
% 0.18/0.45 icext $_155 uri_rdf_Property
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdf_Alt
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdfs_Container
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdfs_Resource
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdf_Bag
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdf_Property
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdf_XMLLiteral
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdfs_Literal
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdfs_Class
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdfs_ContainerMembershipProperty
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdfs_Datatype
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdfs_Seq
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.45 icext $_155 uri_owl_propertyDisjointWith
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdf__1
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdfs_member
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdf__2
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdf__3
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdf_first
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdf_object
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdf_predicate
% 0.18/0.45 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.45 icext $_155 uri_rdf_rest
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_rdf_subject
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_rdf_type
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_rdf_value
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_rdfs_comment
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_rdfs_domain
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_rdfs_isDefinedBy
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_rdfs_seeAlso
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_rdfs_label
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_rdfs_range
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_rdfs_subClassOf
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_rdfs_subPropertyOf
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_skos_altLabel
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_155 \/
% 0.18/0.46 icext $_155 uri_skos_prefLabel
% 0.18/0.46 |- ~iext uri_rdfs_range uri_skos_altLabel $_155 \/
% 0.18/0.46 icext $_155 (literal_plain dat_str_foo)
% 0.18/0.46 |- ~iext uri_rdfs_range uri_skos_prefLabel $_155 \/
% 0.18/0.46 icext $_155 (literal_plain dat_str_foo)
% 0.18/0.46 |- ~iext uri_rdf_rest $_157 $_158 \/ icext uri_rdf_List $_158
% 0.18/0.46 |- ~iext uri_rdf_type $_157 $_158 \/ icext uri_rdfs_Class $_158
% 0.18/0.46 |- ~iext uri_rdfs_comment $_157 $_158 \/ icext uri_rdfs_Literal $_158
% 0.18/0.46 |- ~iext uri_rdfs_domain $_157 $_158 \/ icext uri_rdfs_Class $_158
% 0.18/0.46 |- ~iext uri_rdfs_label $_157 $_158 \/ icext uri_rdfs_Literal $_158
% 0.18/0.46 |- ~iext uri_rdfs_range $_157 $_158 \/ icext uri_rdfs_Class $_158
% 0.18/0.46 |- icext uri_rdfs_Class uri_rdf_List
% 0.18/0.46 |- icext uri_rdfs_Class uri_owl_AnnotationProperty
% 0.18/0.46 |- iext uri_rdf_type uri_rdf_List uri_rdfs_Class
% 0.18/0.46 |- ic uri_rdf_List
% 0.18/0.46 |- iext uri_rdfs_subClassOf uri_rdf_List uri_rdf_List
% 0.18/0.46 |- iext uri_rdfs_subClassOf uri_rdf_List uri_rdfs_Resource
% 0.18/0.46 |- iext uri_rdf_type uri_owl_AnnotationProperty uri_rdfs_Class
% 0.18/0.46 |- ic uri_owl_AnnotationProperty
% 0.18/0.46 |- iext uri_rdfs_subClassOf uri_owl_AnnotationProperty
% 0.18/0.46 uri_owl_AnnotationProperty
% 0.18/0.46 |- iext uri_rdfs_subClassOf uri_owl_AnnotationProperty uri_rdfs_Resource
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $C \/ icext $C uri_rdf_List
% 0.18/0.46 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $C \/ icext $C uri_rdf_List
% 0.18/0.46 |- ~iext uri_rdfs_subClassOf $C uri_rdf_List \/
% 0.18/0.46 iext uri_rdfs_subClassOf $C uri_rdfs_Resource
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $C \/
% 0.18/0.46 icext $C uri_owl_AnnotationProperty
% 0.18/0.46 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $C \/
% 0.18/0.46 icext $C uri_owl_AnnotationProperty
% 0.18/0.46 |- ~iext uri_rdfs_subClassOf $C uri_owl_AnnotationProperty \/
% 0.18/0.46 iext uri_rdfs_subClassOf $C uri_rdfs_Resource
% 0.18/0.46 |- icext uri_rdfs_Class uri_rdfs_Statement
% 0.18/0.46 |- iext uri_rdf_type uri_rdfs_Statement uri_rdfs_Class
% 0.18/0.46 |- ic uri_rdfs_Statement
% 0.18/0.46 |- iext uri_rdfs_subClassOf uri_rdfs_Statement uri_rdfs_Statement
% 0.18/0.46 |- iext uri_rdfs_subClassOf uri_rdfs_Statement uri_rdfs_Resource
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $C \/
% 0.18/0.46 icext $C uri_rdfs_Statement
% 0.18/0.46 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $C \/
% 0.18/0.46 icext $C uri_rdfs_Statement
% 0.18/0.46 |- ~iext uri_rdfs_subClassOf $C uri_rdfs_Statement \/
% 0.18/0.46 iext uri_rdfs_subClassOf $C uri_rdfs_Resource
% 0.18/0.46 |- ~iext uri_rdfs_subClassOf uri_rdfs_Resource $E \/
% 0.18/0.46 iext uri_rdfs_subClassOf uri_rdfs_Statement $E
% 0.18/0.46 |- ~iext uri_rdfs_subPropertyOf uri_rdf_type $_221 \/
% 0.18/0.46 iext $_221 $_222 uri_rdfs_Resource
% 0.18/0.46 |- ~iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_221 \/
% 0.18/0.46 iext $_221 uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf
% 0.18/0.46 |- ~iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_221 \/
% 0.18/0.46 iext $_221 uri_skos_altLabel uri_rdfs_label
% 0.18/0.46 |- ~iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_221 \/
% 0.18/0.46 iext $_221 uri_skos_altLabel uri_skos_altLabel
% 0.18/0.46 |- ~iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_221 \/
% 0.18/0.46 iext $_221 uri_skos_prefLabel uri_rdfs_label
% 0.18/0.46 |- ~iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_221 \/
% 0.18/0.46 iext $_221 uri_skos_prefLabel uri_skos_prefLabel
% 0.18/0.46 |- ~iext uri_rdfs_subPropertyOf uri_skos_altLabel $_221 \/
% 0.18/0.46 iext $_221 uri_ex_foo (literal_plain dat_str_foo)
% 0.18/0.46 |- ~iext uri_rdfs_subPropertyOf uri_skos_prefLabel $_221 \/
% 0.18/0.46 iext $_221 uri_ex_foo (literal_plain dat_str_foo)
% 0.18/0.46 |- ~iext uri_rdf__1 $_222 $_223 \/ iext uri_rdfs_member $_222 $_223
% 0.18/0.46 |- ~iext uri_rdf__2 $_222 $_223 \/ iext uri_rdfs_member $_222 $_223
% 0.18/0.46 |- ~iext uri_rdf__3 $_222 $_223 \/ iext uri_rdfs_member $_222 $_223
% 0.18/0.46 |- ~iext uri_rdfs_isDefinedBy $_222 $_223 \/
% 0.18/0.46 iext uri_rdfs_seeAlso $_222 $_223
% 0.18/0.46 |- iext uri_rdfs_label uri_ex_foo (literal_plain dat_str_foo)
% 0.18/0.46 |- ~iext uri_rdfs_subPropertyOf uri_rdfs_label $Q \/
% 0.18/0.46 iext $Q uri_ex_foo (literal_plain dat_str_foo)
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdfs_label $C \/
% 0.18/0.46 icext $C (literal_plain dat_str_foo)
% 0.18/0.46 |- ~iext uri_rdfs_domain uri_rdfs_label $C \/ icext $C uri_ex_foo
% 0.18/0.46 |- icext uri_rdfs_Literal (literal_plain dat_str_foo)
% 0.18/0.46 |- iext uri_rdf_type (literal_plain dat_str_foo) uri_rdfs_Literal
% 0.18/0.46 |- lv (literal_plain dat_str_foo)
% 0.18/0.46 |- ~iext uri_rdfs_subPropertyOf uri_rdf_type $Q \/
% 0.18/0.46 iext $Q (literal_plain dat_str_foo) uri_rdfs_Literal
% 0.18/0.46 |- ~iext uri_rdfs_range uri_rdf_type $C \/ icext $C uri_rdfs_Literal
% 0.18/0.46 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.18/0.46
%------------------------------------------------------------------------------