%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : SWB005+4 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n024.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:16 EDT 2022 % Result : CounterSatisfiable 0.18s 0.47s % Output : Saturation 0.18s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWB005+4 : TPTP v8.1.0. Released v5.2.0. % 0.03/0.13 % Command : metis --show proof --show saturation %s % 0.13/0.34 % Computer : n024.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Wed Jun 1 06:10:06 EDT 2022 % 0.13/0.34 % CPUTime : % 0.13/0.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 0.18/0.47 % SZS status CounterSatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.18/0.47 % 0.18/0.47 SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.18/0.47 |- ~iext $P $S $O \/ ip $P % 0.18/0.47 |- ir $X % 0.18/0.47 |- iext uri_rdf_type uri_rdf_first uri_rdf_Property % 0.18/0.47 |- iext uri_rdf_type uri_rdf_nil uri_rdf_List % 0.18/0.47 |- iext uri_rdf_type uri_rdf_rest uri_rdf_Property % 0.18/0.47 |- iext uri_rdf_type uri_rdf__1 uri_rdf_Property % 0.18/0.47 |- iext uri_rdf_type uri_rdf__2 uri_rdf_Property % 0.18/0.47 |- iext uri_rdf_type uri_rdf__3 uri_rdf_Property % 0.18/0.47 |- iext uri_rdf_type uri_rdf_object uri_rdf_Property % 0.18/0.47 |- iext uri_rdf_type uri_rdf_value uri_rdf_Property % 0.18/0.47 |- iext uri_rdf_type uri_rdf_subject uri_rdf_Property % 0.18/0.47 |- ~iext uri_rdf_type $P uri_rdf_Property \/ ip $P % 0.18/0.47 |- ~ip $P \/ iext uri_rdf_type $P uri_rdf_Property % 0.18/0.47 |- iext uri_rdf_type uri_rdf_type uri_rdf_Property % 0.18/0.47 |- iext uri_rdfs_domain uri_rdfs_comment uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_range uri_rdfs_comment uri_rdfs_Literal % 0.18/0.47 |- iext uri_rdfs_domain uri_rdfs_isDefinedBy uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_range uri_rdfs_isDefinedBy uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_subPropertyOf uri_rdfs_isDefinedBy uri_rdfs_seeAlso % 0.18/0.47 |- iext uri_rdfs_domain uri_rdfs_label uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_range uri_rdfs_label uri_rdfs_Literal % 0.18/0.47 |- iext uri_rdfs_domain uri_rdfs_seeAlso uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_range uri_rdfs_seeAlso uri_rdfs_Resource % 0.18/0.47 |- ~icext $C $X \/ iext uri_rdf_type $X $C % 0.18/0.47 |- ~iext uri_rdf_type $X $C \/ icext $C $X % 0.18/0.47 |- ~ic $C \/ iext uri_rdfs_subClassOf $C uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_domain uri_rdf_first uri_rdf_List % 0.18/0.47 |- iext uri_rdfs_range uri_rdf_first uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_domain uri_rdf_rest uri_rdf_List % 0.18/0.47 |- iext uri_rdfs_range uri_rdf_rest uri_rdf_List % 0.18/0.47 |- iext uri_rdfs_subClassOf uri_rdf_Alt uri_rdfs_Container % 0.18/0.47 |- iext uri_rdfs_subClassOf uri_rdf_Bag uri_rdfs_Container % 0.18/0.47 |- ~icext uri_rdfs_ContainerMembershipProperty $P \/ % 0.18/0.47 iext uri_rdfs_subPropertyOf $P uri_rdfs_member % 0.18/0.47 |- iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty % 0.18/0.47 uri_rdf_Property % 0.18/0.47 |- iext uri_rdfs_domain uri_rdfs_member uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_range uri_rdfs_member uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_domain uri_rdf__1 uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_domain uri_rdf__2 uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_domain uri_rdf__3 uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_range uri_rdf__1 uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_range uri_rdf__2 uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_range uri_rdf__3 uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdf_type uri_rdf__1 uri_rdfs_ContainerMembershipProperty % 0.18/0.47 |- iext uri_rdf_type uri_rdf__2 uri_rdfs_ContainerMembershipProperty % 0.18/0.47 |- iext uri_rdf_type uri_rdf__3 uri_rdfs_ContainerMembershipProperty % 0.18/0.47 |- iext uri_rdfs_subClassOf uri_rdfs_Seq uri_rdfs_Container % 0.18/0.47 |- iext uri_rdfs_subClassOf uri_rdf_XMLLiteral uri_rdfs_Literal % 0.18/0.47 |- iext uri_rdf_type uri_rdf_XMLLiteral uri_rdfs_Datatype % 0.18/0.47 |- ~icext uri_rdfs_Datatype $D \/ % 0.18/0.47 iext uri_rdfs_subClassOf $D uri_rdfs_Literal % 0.18/0.47 |- iext uri_rdfs_subClassOf uri_rdfs_Datatype uri_rdfs_Class % 0.18/0.47 |- iext uri_rdfs_domain uri_rdfs_domain uri_rdf_Property % 0.18/0.47 |- ~iext $P $X $Y \/ ~iext uri_rdfs_domain $P $C \/ icext $C $X % 0.18/0.47 |- iext uri_rdfs_range uri_rdfs_domain uri_rdfs_Class % 0.18/0.47 |- ~ic $X \/ icext uri_rdfs_Class $X % 0.18/0.47 |- ~icext uri_rdfs_Class $X \/ ic $X % 0.18/0.47 |- icext uri_rdfs_Resource $X % 0.18/0.47 |- ~icext uri_rdfs_Literal $X \/ lv $X % 0.18/0.47 |- ~lv $X \/ icext uri_rdfs_Literal $X % 0.18/0.47 |- iext uri_rdf_type uri_rdf_Property uri_rdfs_Class % 0.18/0.47 |- iext uri_rdfs_domain uri_rdfs_range uri_rdf_Property % 0.18/0.47 |- ~iext $P $X $Y \/ ~iext uri_rdfs_range $P $C \/ icext $C $Y % 0.18/0.47 |- iext uri_rdfs_range uri_rdfs_range uri_rdfs_Class % 0.18/0.47 |- iext uri_rdfs_domain uri_rdf_object uri_rdfs_Statement % 0.18/0.47 |- iext uri_rdfs_range uri_rdf_predicate uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_domain uri_rdf_predicate uri_rdfs_Statement % 0.18/0.47 |- iext uri_rdfs_domain uri_rdf_subject uri_rdfs_Statement % 0.18/0.47 |- iext uri_rdfs_range uri_rdf_subject uri_rdfs_Resource % 0.18/0.47 |- iext uri_rdfs_domain uri_rdfs_subClassOf uri_rdfs_Class % 0.18/0.47 |- ~iext uri_rdfs_subClassOf $C $D \/ ic $C % 0.18/0.47 |- ~iext uri_rdfs_subClassOf $C $D \/ ic $D % 0.18/0.47 |- ~icext $C $X \/ ~iext uri_rdfs_subClassOf $C $D \/ icext $D $X % 0.18/0.47 |- iext uri_rdfs_range uri_rdfs_subClassOf uri_rdfs_Class % 0.18/0.47 |- ~ic $C \/ iext uri_rdfs_subClassOf $C $C % 0.18/0.47 |- ~iext uri_rdfs_subClassOf $C $D \/ ~iext uri_rdfs_subClassOf $D $E \/ % 0.18/0.47 iext uri_rdfs_subClassOf $C $E % 0.18/0.47 |- iext uri_rdfs_domain uri_rdfs_subPropertyOf uri_rdf_Property % 0.18/0.47 |- ~iext uri_rdfs_subPropertyOf $P $Q \/ ip $P % 0.18/0.47 |- ~iext uri_rdfs_subPropertyOf $P $Q \/ ip $Q % 0.18/0.47 |- ~iext $P $X $Y \/ ~iext uri_rdfs_subPropertyOf $P $Q \/ iext $Q $X $Y % 0.18/0.47 |- iext uri_rdfs_range uri_rdfs_subPropertyOf uri_rdf_Property % 0.18/0.47 |- ~ip $P \/ iext uri_rdfs_subPropertyOf $P $P % 0.18/0.48 |- ~iext uri_rdfs_subPropertyOf $P $Q \/ % 0.18/0.48 ~iext uri_rdfs_subPropertyOf $Q $R \/ iext uri_rdfs_subPropertyOf $P $R % 0.18/0.48 |- iext uri_rdfs_domain uri_rdf_type uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_range uri_rdf_type uri_rdfs_Class % 0.18/0.48 |- iext uri_rdfs_domain uri_rdf_value uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_range uri_rdf_value uri_rdfs_Resource % 0.18/0.48 |- iext uri_ex_p uri_ex_s uri_ex_o % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_domain $C \/ icext $C uri_rdfs_domain % 0.18/0.48 |- ~iext uri_rdfs_range uri_rdfs_range $C \/ icext $C $C % 0.18/0.48 |- ~iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $Q \/ % 0.18/0.48 iext $Q uri_rdfs_subPropertyOf $Q % 0.18/0.48 |- ~iext uri_rdf_type uri_ex_s uri_owl_Thing % 0.18/0.48 |- icext uri_rdf_Property uri_rdfs_domain % 0.18/0.48 |- ip uri_rdf__1 % 0.18/0.48 |- ip uri_rdf__2 % 0.18/0.48 |- ip uri_rdf__3 % 0.18/0.48 |- ip uri_rdf_first % 0.18/0.48 |- ip uri_rdf_object % 0.18/0.48 |- ip uri_rdf_rest % 0.18/0.48 |- ip uri_rdf_subject % 0.18/0.48 |- ip uri_rdf_type % 0.18/0.48 |- ip uri_rdf_value % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf__2 uri_rdf__2 % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf_type uri_rdf_type % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf__1 uri_rdf__1 % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf__3 uri_rdf__3 % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf_first uri_rdf_first % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf_object uri_rdf_object % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf_rest uri_rdf_rest % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf_subject uri_rdf_subject % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf_value uri_rdf_value % 0.18/0.48 |- icext uri_rdfs_Class uri_rdfs_Class % 0.18/0.48 |- ic uri_rdfs_Class % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_Class uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_Class uri_rdfs_Class % 0.18/0.48 |- ic uri_rdf_Alt % 0.18/0.48 |- ic uri_rdf_Bag % 0.18/0.48 |- ic uri_rdf_XMLLiteral % 0.18/0.48 |- ic uri_rdfs_ContainerMembershipProperty % 0.18/0.48 |- ic uri_rdfs_Datatype % 0.18/0.48 |- ic uri_rdfs_Seq % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdf_Alt uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdf_Alt uri_rdf_Alt % 0.18/0.48 |- icext uri_rdfs_Class uri_rdf_Alt % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdf_Bag uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdf_Bag uri_rdf_Bag % 0.18/0.48 |- icext uri_rdfs_Class uri_rdf_Bag % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdf_XMLLiteral uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdf_XMLLiteral uri_rdf_XMLLiteral % 0.18/0.48 |- icext uri_rdfs_Class uri_rdf_XMLLiteral % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty % 0.18/0.48 uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty % 0.18/0.48 uri_rdfs_ContainerMembershipProperty % 0.18/0.48 |- icext uri_rdfs_Class uri_rdfs_ContainerMembershipProperty % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_Datatype uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_Datatype uri_rdfs_Datatype % 0.18/0.48 |- icext uri_rdfs_Class uri_rdfs_Datatype % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_Seq uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_Seq uri_rdfs_Seq % 0.18/0.48 |- icext uri_rdfs_Class uri_rdfs_Seq % 0.18/0.48 |- ic uri_rdfs_Container % 0.18/0.48 |- ic uri_rdfs_Resource % 0.18/0.48 |- ic uri_rdfs_Literal % 0.18/0.48 |- ic uri_rdf_Property % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_Container uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_Container uri_rdfs_Container % 0.18/0.48 |- icext uri_rdfs_Class uri_rdfs_Container % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_Resource uri_rdfs_Resource % 0.18/0.48 |- icext uri_rdfs_Class uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_Literal uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdfs_Literal uri_rdfs_Literal % 0.18/0.48 |- icext uri_rdfs_Class uri_rdfs_Literal % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdf_Property uri_rdfs_Resource % 0.18/0.48 |- iext uri_rdfs_subClassOf uri_rdf_Property uri_rdf_Property % 0.18/0.48 |- icext uri_rdfs_Class uri_rdf_Property % 0.18/0.48 |- ip uri_rdfs_seeAlso % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdfs_seeAlso uri_rdfs_seeAlso % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_seeAlso uri_rdf_Property % 0.18/0.48 |- ip uri_rdfs_isDefinedBy % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdfs_isDefinedBy uri_rdfs_isDefinedBy % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_isDefinedBy uri_rdf_Property % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_domain uri_rdf_Property % 0.18/0.48 |- iext uri_rdf_type uri_rdf_Alt uri_rdfs_Class % 0.18/0.48 |- iext uri_rdf_type uri_rdf_Bag uri_rdfs_Class % 0.18/0.48 |- iext uri_rdf_type uri_rdf_XMLLiteral uri_rdfs_Class % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_Class uri_rdfs_Class % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_Container uri_rdfs_Class % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_ContainerMembershipProperty uri_rdfs_Class % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_Datatype uri_rdfs_Class % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_Literal uri_rdfs_Class % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_Resource uri_rdfs_Class % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_Seq uri_rdfs_Class % 0.18/0.48 |- iext uri_rdf_type $_52 uri_rdfs_Resource % 0.18/0.48 |- ip uri_rdfs_domain % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdfs_domain uri_rdfs_domain % 0.18/0.48 |- icext uri_rdfs_Datatype uri_rdf_XMLLiteral % 0.18/0.48 |- icext uri_rdf_Property uri_rdf__1 % 0.18/0.48 |- icext uri_rdfs_ContainerMembershipProperty uri_rdf__1 % 0.18/0.48 |- icext uri_rdf_Property uri_rdf__2 % 0.18/0.48 |- icext uri_rdfs_ContainerMembershipProperty uri_rdf__2 % 0.18/0.48 |- icext uri_rdf_Property uri_rdf__3 % 0.18/0.48 |- icext uri_rdfs_ContainerMembershipProperty uri_rdf__3 % 0.18/0.48 |- icext uri_rdf_Property uri_rdf_first % 0.18/0.48 |- icext uri_rdf_List uri_rdf_nil % 0.18/0.48 |- icext uri_rdf_Property uri_rdf_object % 0.18/0.48 |- icext uri_rdf_Property uri_rdf_rest % 0.18/0.48 |- icext uri_rdf_Property uri_rdf_subject % 0.18/0.48 |- icext uri_rdf_Property uri_rdf_type % 0.18/0.48 |- icext uri_rdf_Property uri_rdf_value % 0.18/0.48 |- icext uri_rdf_Property uri_rdfs_isDefinedBy % 0.18/0.48 |- icext uri_rdf_Property uri_rdfs_seeAlso % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf__1 uri_rdfs_member % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf__2 uri_rdfs_member % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdf__3 uri_rdfs_member % 0.18/0.48 |- ip uri_rdfs_member % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdfs_member uri_rdfs_member % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_member uri_rdf_Property % 0.18/0.48 |- icext uri_rdf_Property uri_rdfs_member % 0.18/0.48 |- ip uri_ex_p % 0.18/0.48 |- ip uri_rdfs_range % 0.18/0.48 |- ip uri_rdfs_subClassOf % 0.18/0.48 |- ip uri_rdfs_subPropertyOf % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdfs_range uri_rdfs_range % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_range uri_rdf_Property % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_ex_p uri_ex_p % 0.18/0.48 |- iext uri_rdf_type uri_ex_p uri_rdf_Property % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf uri_rdfs_subClassOf % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_subClassOf uri_rdf_Property % 0.18/0.48 |- iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf % 0.18/0.48 uri_rdfs_subPropertyOf % 0.18/0.48 |- iext uri_rdf_type uri_rdfs_subPropertyOf uri_rdf_Property % 0.18/0.48 |- icext uri_rdf_Property uri_ex_p % 0.18/0.48 |- icext uri_rdf_Property uri_rdfs_subClassOf % 0.18/0.48 |- icext uri_rdf_Property uri_rdfs_range % 0.18/0.48 |- icext uri_rdf_Property uri_rdfs_subPropertyOf % 0.18/0.48 |- ~iext uri_rdfs_subClassOf uri_rdfs_Resource $_60 \/ icext $_60 $_61 % 0.18/0.48 |- ~icext uri_rdf_Alt $_61 \/ icext uri_rdfs_Container $_61 % 0.18/0.48 |- ~icext uri_rdf_Bag $_61 \/ icext uri_rdfs_Container $_61 % 0.18/0.48 |- ~icext uri_rdf_XMLLiteral $_61 \/ icext uri_rdfs_Literal $_61 % 0.18/0.48 |- ~icext uri_rdfs_ContainerMembershipProperty $_61 \/ % 0.18/0.48 icext uri_rdf_Property $_61 % 0.18/0.48 |- ~icext uri_rdfs_Datatype $_61 \/ icext uri_rdfs_Class $_61 % 0.18/0.48 |- ~icext uri_rdfs_Seq $_61 \/ icext uri_rdfs_Container $_61 % 0.18/0.48 |- ~iext uri_rdfs_subClassOf uri_rdf_Property $_72 \/ % 0.18/0.48 iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty $_72 % 0.18/0.48 |- ~iext uri_rdfs_subClassOf uri_rdfs_Class $_72 \/ % 0.18/0.48 iext uri_rdfs_subClassOf uri_rdfs_Datatype $_72 % 0.18/0.48 |- ~iext uri_rdfs_subClassOf uri_rdfs_Container $_72 \/ % 0.18/0.48 iext uri_rdfs_subClassOf uri_rdfs_Seq $_72 % 0.18/0.48 |- ~iext uri_rdfs_subClassOf uri_rdfs_Resource $_72 \/ % 0.18/0.48 iext uri_rdfs_subClassOf uri_rdfs_Seq $_72 % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdf_Alt \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Container % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdf_Alt \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Resource % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdf_Bag \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Container % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdf_Bag \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Resource % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdf_Property \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Resource % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdf_XMLLiteral \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Literal % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdf_XMLLiteral \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Resource % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdfs_Class \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Resource % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdfs_Container \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Resource % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdfs_ContainerMembershipProperty \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdf_Property % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdfs_ContainerMembershipProperty \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Resource % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdfs_Datatype \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Class % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdfs_Datatype \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Resource % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdfs_Literal \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Resource % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdfs_Seq \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Container % 0.18/0.48 |- ~iext uri_rdfs_subClassOf $_70 uri_rdfs_Seq \/ % 0.18/0.48 iext uri_rdfs_subClassOf $_70 uri_rdfs_Resource % 0.18/0.48 |- ~iext uri_rdfs_subPropertyOf $_93 uri_rdf__1 \/ % 0.18/0.48 iext uri_rdfs_subPropertyOf $_93 uri_rdfs_member % 0.18/0.48 |- ~iext uri_rdfs_subPropertyOf $_93 uri_rdf__2 \/ % 0.18/0.48 iext uri_rdfs_subPropertyOf $_93 uri_rdfs_member % 0.18/0.48 |- ~iext uri_rdfs_subPropertyOf $_93 uri_rdf__3 \/ % 0.18/0.48 iext uri_rdfs_subPropertyOf $_93 uri_rdfs_member % 0.18/0.48 |- ~iext uri_rdfs_subPropertyOf $_93 uri_rdfs_isDefinedBy \/ % 0.18/0.48 iext uri_rdfs_subPropertyOf $_93 uri_rdfs_seeAlso % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdf_type $_100 \/ icext $_100 $_102 % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_domain $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_isDefinedBy % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_domain $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_label % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_domain $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_member % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_domain $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_range % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_domain $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_seeAlso % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_domain $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_subClassOf % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_domain $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_subPropertyOf % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ icext $_100 uri_rdf__1 % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ icext $_100 uri_rdf__2 % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ icext $_100 uri_rdf__3 % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ icext $_100 uri_rdf_first % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ % 0.18/0.48 icext $_100 uri_rdf_predicate % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ icext $_100 uri_rdf_rest % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ % 0.18/0.48 icext $_100 uri_rdf_subject % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ icext $_100 uri_rdf_type % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ icext $_100 uri_rdf_value % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_comment % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_domain % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_isDefinedBy % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ icext $_100 uri_rdfs_label % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_member % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ icext $_100 uri_rdfs_range % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_seeAlso % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_subClassOf % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_range $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_subPropertyOf % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdf_Alt % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdf_Bag % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdf_Property % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdf_XMLLiteral % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_Class % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_Container % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_ContainerMembershipProperty % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_Datatype % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_Literal % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_Resource % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdfs_Seq % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.48 icext $_100 uri_ex_p % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdf__1 % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdf__2 % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdf__3 % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdf_first % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdf_object % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdf_rest % 0.18/0.48 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.48 icext $_100 uri_rdf_subject % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.49 icext $_100 uri_rdf_type % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.49 icext $_100 uri_rdf_value % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.49 icext $_100 uri_rdfs_domain % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.49 icext $_100 uri_rdfs_isDefinedBy % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.49 icext $_100 uri_rdfs_member % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.49 icext $_100 uri_rdfs_range % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.49 icext $_100 uri_rdfs_seeAlso % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.49 icext $_100 uri_rdfs_subClassOf % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $_100 \/ % 0.18/0.49 icext $_100 uri_rdfs_subPropertyOf % 0.18/0.49 |- ~iext uri_rdf_first $_102 $_103 \/ icext uri_rdf_List $_102 % 0.18/0.49 |- ~iext uri_rdf_object $_102 $_103 \/ icext uri_rdfs_Statement $_102 % 0.18/0.49 |- ~iext uri_rdf_predicate $_102 $_103 \/ icext uri_rdfs_Statement $_102 % 0.18/0.49 |- ~iext uri_rdf_rest $_102 $_103 \/ icext uri_rdf_List $_102 % 0.18/0.49 |- ~iext uri_rdf_subject $_102 $_103 \/ icext uri_rdfs_Statement $_102 % 0.18/0.49 |- ~iext uri_rdfs_domain $_102 $_103 \/ icext uri_rdf_Property $_102 % 0.18/0.49 |- icext uri_rdf_Property uri_rdfs_label % 0.18/0.49 |- iext uri_rdf_type uri_rdfs_label uri_rdf_Property % 0.18/0.49 |- ip uri_rdfs_label % 0.18/0.49 |- iext uri_rdfs_subPropertyOf uri_rdfs_label uri_rdfs_label % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $C \/ % 0.18/0.49 icext $C uri_rdfs_label % 0.18/0.49 |- icext uri_rdf_Property uri_rdf_predicate % 0.18/0.49 |- iext uri_rdf_type uri_rdf_predicate uri_rdf_Property % 0.18/0.49 |- ip uri_rdf_predicate % 0.18/0.49 |- iext uri_rdfs_subPropertyOf uri_rdf_predicate uri_rdf_predicate % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $C \/ % 0.18/0.49 icext $C uri_rdf_predicate % 0.18/0.49 |- icext uri_rdf_Property uri_rdfs_comment % 0.18/0.49 |- iext uri_rdf_type uri_rdfs_comment uri_rdf_Property % 0.18/0.49 |- ip uri_rdfs_comment % 0.18/0.49 |- iext uri_rdfs_subPropertyOf uri_rdfs_comment uri_rdfs_comment % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subPropertyOf $C \/ % 0.18/0.49 icext $C uri_rdfs_comment % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdf_type $_174 \/ icext $_174 uri_rdfs_Resource % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_range $_174 \/ icext $_174 uri_rdfs_Class % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_range $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_Resource % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_range $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_Property % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_Alt % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_Container % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_Resource % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_Bag % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_Property % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_XMLLiteral % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_Literal % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_Class % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_ContainerMembershipProperty % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_Datatype % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_Seq % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_ex_p % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf__1 % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_member % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf__2 % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf__3 % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_first % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_object % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_predicate % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_rest % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_subject % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_type % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdf_value % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_comment % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_domain % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_isDefinedBy % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_seeAlso % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_label % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_range % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_subClassOf % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subPropertyOf $_174 \/ % 0.18/0.49 icext $_174 uri_rdfs_subPropertyOf % 0.18/0.49 |- ~iext uri_rdf_rest $_176 $_177 \/ icext uri_rdf_List $_177 % 0.18/0.49 |- ~iext uri_rdf_type $_176 $_177 \/ icext uri_rdfs_Class $_177 % 0.18/0.49 |- ~iext uri_rdfs_comment $_176 $_177 \/ icext uri_rdfs_Literal $_177 % 0.18/0.49 |- ~iext uri_rdfs_domain $_176 $_177 \/ icext uri_rdfs_Class $_177 % 0.18/0.49 |- ~iext uri_rdfs_label $_176 $_177 \/ icext uri_rdfs_Literal $_177 % 0.18/0.49 |- ~iext uri_rdfs_range $_176 $_177 \/ icext uri_rdfs_Class $_177 % 0.18/0.49 |- icext uri_rdfs_Class uri_rdf_List % 0.18/0.49 |- iext uri_rdf_type uri_rdf_List uri_rdfs_Class % 0.18/0.49 |- ic uri_rdf_List % 0.18/0.49 |- iext uri_rdfs_subClassOf uri_rdf_List uri_rdfs_Resource % 0.18/0.49 |- iext uri_rdfs_subClassOf uri_rdf_List uri_rdf_List % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $C \/ icext $C uri_rdf_List % 0.18/0.49 |- ~iext uri_rdfs_subClassOf $C uri_rdf_List \/ % 0.18/0.49 iext uri_rdfs_subClassOf $C uri_rdfs_Resource % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $C \/ icext $C uri_rdf_List % 0.18/0.49 |- icext uri_rdfs_Class uri_rdfs_Statement % 0.18/0.49 |- iext uri_rdf_type uri_rdfs_Statement uri_rdfs_Class % 0.18/0.49 |- ic uri_rdfs_Statement % 0.18/0.49 |- iext uri_rdfs_subClassOf uri_rdfs_Statement uri_rdfs_Resource % 0.18/0.49 |- iext uri_rdfs_subClassOf uri_rdfs_Statement uri_rdfs_Statement % 0.18/0.49 |- ~iext uri_rdfs_subClassOf $C uri_rdfs_Statement \/ % 0.18/0.49 iext uri_rdfs_subClassOf $C uri_rdfs_Resource % 0.18/0.49 |- ~iext uri_rdfs_subClassOf uri_rdfs_Resource $E \/ % 0.18/0.49 iext uri_rdfs_subClassOf uri_rdfs_Statement $E % 0.18/0.49 |- ~iext uri_rdfs_range uri_rdfs_subClassOf $C \/ % 0.18/0.49 icext $C uri_rdfs_Statement % 0.18/0.49 |- ~iext uri_rdfs_domain uri_rdfs_subClassOf $C \/ % 0.18/0.49 icext $C uri_rdfs_Statement % 0.18/0.49 |- ~iext uri_rdfs_subPropertyOf uri_rdf_type $_233 \/ % 0.18/0.49 iext $_233 $_234 uri_rdfs_Resource % 0.18/0.49 |- ~iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_233 \/ % 0.18/0.49 iext $_233 uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf % 0.18/0.49 |- ~iext uri_rdf__1 $_234 $_235 \/ iext uri_rdfs_member $_234 $_235 % 0.18/0.49 |- ~iext uri_rdf__2 $_234 $_235 \/ iext uri_rdfs_member $_234 $_235 % 0.18/0.49 |- ~iext uri_rdf__3 $_234 $_235 \/ iext uri_rdfs_member $_234 $_235 % 0.18/0.49 |- ~iext uri_rdfs_isDefinedBy $_234 $_235 \/ % 0.18/0.49 iext uri_rdfs_seeAlso $_234 $_235 % 0.18/0.49 SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.18/0.49 %------------------------------------------------------------------------------