Toma---0.7.SAT-Ass.s

%------------------------------------------------------------------------------
% File     : Toma---0.7
% Problem  : SWB004-10 : TPTP v9.0.0. Released v7.3.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : run_Leo-III %s %d THM

% Computer : n002.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  : 300s
% DateTime : Tue Jul 15 08:00:36 AM UTC 2025

% Result   : Satisfiable 10.10s 9.89s
% Output   : Assurance 0s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.12  % Problem  : SWB004-10 : TPTP v9.0.0. Released v7.3.0.
% 0.08/0.12  % Command  : run_Leo-III %s %d THM
% 0.12/0.33  % Computer : n002.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  : 300
% 0.12/0.33  % DateTime : Mon Jul 14 19:23:49 EDT 2025
% 0.12/0.34  % CPUTime  : 
% 10.10/9.89  % SZS status Satisfiable
% 10.10/9.89  The following TRS is a complete presentation of the axioms, but the goal is not joinable.
% 10.10/9.89  1: ir(X) -> true
% 10.10/9.89  2: iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property) -> true
% 10.10/9.89  3: iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List) -> true
% 10.10/9.89  4: iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property) -> true
% 10.10/9.89  5: iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property) -> true
% 10.10/9.89  6: iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property) -> true
% 10.10/9.89  7: iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property) -> true
% 10.10/9.89  8: iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property) -> true
% 10.10/9.89  9: iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property) -> true
% 10.10/9.89  10: iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property) -> true
% 10.10/9.89  11: iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property) -> true
% 10.10/9.89  12: iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource) -> true
% 10.10/9.89  13: iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal) -> true
% 10.10/9.89  14: iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource) -> true
% 10.10/9.89  15: iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource) -> true
% 10.10/9.89  16: iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso) -> true
% 10.10/9.89  17: iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource) -> true
% 10.10/9.89  18: iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal) -> true
% 10.10/9.89  19: iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource) -> true
% 10.10/9.89  20: iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource) -> true
% 10.10/9.89  21: iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List) -> true
% 10.10/9.89  22: iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource) -> true
% 10.10/9.89  23: iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List) -> true
% 10.10/9.89  24: iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List) -> true
% 10.10/9.89  25: iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container) -> true
% 10.10/9.89  26: iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container) -> true
% 10.10/9.89  27: iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property) -> true
% 10.10/9.89  28: iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource) -> true
% 10.10/9.89  29: iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource) -> true
% 10.10/9.89  30: iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource) -> true
% 10.10/9.89  31: iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource) -> true
% 10.10/9.89  32: iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource) -> true
% 10.10/9.89  33: iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource) -> true
% 10.10/9.89  34: iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource) -> true
% 10.10/9.89  35: iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource) -> true
% 10.10/9.89  36: iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty) -> true
% 10.10/9.89  37: iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty) -> true
% 10.10/9.89  38: iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty) -> true
% 10.10/9.89  39: iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container) -> true
% 10.10/9.89  40: iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal) -> true
% 10.10/9.89  41: iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype) -> true
% 10.10/9.89  42: iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class) -> true
% 10.10/9.89  43: iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property) -> true
% 10.10/9.89  44: iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class) -> true
% 10.10/9.89  45: iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class) -> true
% 10.10/9.89  46: iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property) -> true
% 10.10/9.89  47: iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class) -> true
% 10.10/9.89  48: iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement) -> true
% 10.10/9.89  49: iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource) -> true
% 10.10/9.89  50: iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement) -> true
% 10.10/9.89  51: iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement) -> true
% 10.10/9.89  52: iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource) -> true
% 10.10/9.89  53: iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class) -> true
% 10.10/9.89  54: iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class) -> true
% 10.10/9.89  55: iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property) -> true
% 10.10/9.89  56: iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property) -> true
% 10.10/9.89  57: iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource) -> true
% 10.10/9.89  58: iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class) -> true
% 10.10/9.89  59: iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource) -> true
% 10.10/9.89  60: iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource) -> true
% 10.10/9.89  61: ifeq(X, X, Y, Z) -> Y
% 10.10/9.89  63: ifeq(lv(X), true, true, true) -> true
% 10.10/9.89  64: ifeq(lv(X), true, icext(uri_rdfs_Literal, X), true) -> true
% 10.10/9.89  65: ifeq(icext(uri_rdfs_Literal, X), true, lv(X), true) -> true
% 10.10/9.89  66: ifeq(ic(X), true, icext(uri_rdfs_Class, X), true) -> true
% 10.10/9.89  68: ifeq(icext(uri_rdfs_Resource, X), true, true, true) -> true
% 10.10/9.89  69: ifeq(icext(uri_rdfs_Class, X), true, ic(X), true) -> true
% 10.10/9.89  71: icext(uri_rdfs_Resource, X) -> true
% 10.10/9.89  72: ifeq(iext(X, Y, Z), true, ip(X), true) -> true
% 10.10/9.89  73: true -> ip(uri_rdf_type)
% 10.10/9.89  74: ip(uri_rdfs_domain) -> ip(uri_rdf_type)
% 10.10/9.89  75: ip(uri_rdfs_range) -> ip(uri_rdf_type)
% 10.10/9.89  76: ip(uri_rdfs_subClassOf) -> ip(uri_rdf_type)
% 10.10/9.89  77: ip(uri_rdf_type) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  79: ifeq(ip(X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, X, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  80: iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  81: iext(uri_rdfs_subPropertyOf, uri_rdf_type, uri_rdf_type) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  82: iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, uri_rdfs_domain) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  83: iext(uri_rdfs_subPropertyOf, uri_rdfs_range, uri_rdfs_range) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  84: iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, uri_rdfs_subClassOf) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  86: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdfs_subPropertyOf), ip(X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  87: ip(uri_rdfs_isDefinedBy) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  88: iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  90: ifeq(ic(X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  92: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdfs_subPropertyOf), ip(Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  93: ip(uri_rdfs_seeAlso) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  94: iext(uri_rdfs_subPropertyOf, uri_rdfs_seeAlso, uri_rdfs_seeAlso) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  96: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdfs_subPropertyOf), ic(Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  97: ic(uri_rdfs_Container) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  98: ic(uri_rdfs_Literal) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  99: ic(uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  100: ic(uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  101: icext(uri_rdfs_Class, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  102: icext(uri_rdfs_Class, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  103: icext(uri_rdfs_Class, uri_rdfs_Literal) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  104: icext(uri_rdfs_Class, uri_rdfs_Container) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  105: iext(uri_rdfs_subClassOf, uri_rdfs_Literal, uri_rdfs_Literal) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  106: iext(uri_rdfs_subClassOf, uri_rdfs_Container, uri_rdfs_Container) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  107: iext(uri_rdfs_subClassOf, uri_rdf_Property, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  108: iext(uri_rdfs_subClassOf, uri_rdfs_Class, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  110: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdfs_subPropertyOf), ic(X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  111: ic(uri_rdf_Alt) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  112: ic(uri_rdf_Bag) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  113: ic(uri_rdf_XMLLiteral) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  114: ic(uri_rdfs_ContainerMembershipProperty) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  115: ic(uri_rdfs_Datatype) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  116: ic(uri_rdfs_Seq) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  117: icext(uri_rdfs_Class, uri_rdfs_Seq) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  118: icext(uri_rdfs_Class, uri_rdf_Alt) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  119: icext(uri_rdfs_Class, uri_rdfs_Datatype) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  120: icext(uri_rdfs_Class, uri_rdfs_ContainerMembershipProperty) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  121: icext(uri_rdfs_Class, uri_rdf_XMLLiteral) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  122: icext(uri_rdfs_Class, uri_rdf_Bag) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  123: iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdf_Bag) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  124: iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdf_Alt) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  125: iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  126: iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  127: iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Datatype) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  128: iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Seq) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  130: ifeq(ip(X), ip(uri_rdfs_subPropertyOf), iext(uri_rdf_type, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  131: iext(uri_rdf_type, uri_rdfs_subPropertyOf, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  132: iext(uri_rdf_type, uri_rdfs_domain, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  133: iext(uri_rdf_type, uri_rdfs_isDefinedBy, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  134: iext(uri_rdf_type, uri_rdfs_range, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  135: iext(uri_rdf_type, uri_rdfs_seeAlso, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  136: iext(uri_rdf_type, uri_rdfs_subClassOf, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  138: ifeq(ic(X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  139: iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  140: ic(uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  141: iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  142: iext(uri_rdfs_subClassOf, uri_rdf_Property, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  143: iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  144: iext(uri_rdfs_subClassOf, uri_rdfs_Class, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  145: iext(uri_rdfs_subClassOf, uri_rdfs_Container, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  146: iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  147: iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  148: iext(uri_rdfs_subClassOf, uri_rdfs_Literal, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  149: iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  150: icext(uri_rdfs_Class, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  151: iext(uri_rdfs_subClassOf, uri_rdfs_Resource, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  153: ifeq(iext(uri_rdf_type, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  154: ip(uri_rdf__1) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  155: ip(uri_rdf__2) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  156: ip(uri_rdf__3) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  157: ip(uri_rdf_first) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  158: ip(uri_rdf_object) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  159: ip(uri_rdf_rest) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  160: ip(uri_rdf_subject) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  161: ip(uri_rdf_value) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  162: iext(uri_rdfs_subPropertyOf, uri_rdf_value, uri_rdf_value) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  163: iext(uri_rdfs_subPropertyOf, uri_rdf_object, uri_rdf_object) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  164: iext(uri_rdfs_subPropertyOf, uri_rdf_subject, uri_rdf_subject) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  165: iext(uri_rdfs_subPropertyOf, uri_rdf_first, uri_rdf_first) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  166: iext(uri_rdfs_subPropertyOf, uri_rdf_rest, uri_rdf_rest) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  167: iext(uri_rdfs_subPropertyOf, uri_rdf__3, uri_rdf__3) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  168: iext(uri_rdfs_subPropertyOf, uri_rdf__1, uri_rdf__1) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  169: iext(uri_rdfs_subPropertyOf, uri_rdf__2, uri_rdf__2) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  171: ifeq(icext(X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdf_type, Y, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  172: iext(uri_rdf_type, X, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  173: iext(uri_rdf_type, uri_rdf_Alt, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  174: iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  175: iext(uri_rdf_type, uri_rdf_Bag, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  176: iext(uri_rdf_type, uri_rdfs_Class, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  177: iext(uri_rdf_type, uri_rdfs_Datatype, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  178: iext(uri_rdf_type, uri_rdfs_Container, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  179: iext(uri_rdf_type, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  180: iext(uri_rdf_type, uri_rdfs_Literal, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  181: iext(uri_rdf_type, uri_rdfs_Seq, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  182: iext(uri_rdf_type, uri_rdfs_Resource, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  184: ifeq(iext(uri_rdf_type, X, Y), ip(uri_rdfs_subPropertyOf), icext(Y, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  185: icext(uri_rdfs_Datatype, uri_rdf_XMLLiteral) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  186: icext(uri_rdf_Property, uri_rdf__1) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  187: icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__1) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  188: icext(uri_rdf_Property, uri_rdf__2) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  189: icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__2) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  190: icext(uri_rdf_Property, uri_rdf__3) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  191: icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__3) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  192: icext(uri_rdf_Property, uri_rdf_first) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  193: icext(uri_rdf_List, uri_rdf_nil) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  194: icext(uri_rdf_Property, uri_rdf_object) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  195: icext(uri_rdf_Property, uri_rdf_rest) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  196: icext(uri_rdf_Property, uri_rdf_subject) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  197: icext(uri_rdf_Property, uri_rdf_type) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  198: icext(uri_rdf_Property, uri_rdf_value) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  199: icext(uri_rdf_Property, uri_rdfs_subPropertyOf) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  200: icext(uri_rdf_Property, uri_rdfs_isDefinedBy) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  201: icext(uri_rdf_Property, uri_rdfs_domain) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  202: icext(uri_rdf_Property, uri_rdfs_range) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  203: icext(uri_rdf_Property, uri_rdfs_subClassOf) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  204: icext(uri_rdf_Property, uri_rdfs_seeAlso) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  206: ifeq(icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  207: iext(uri_rdfs_subPropertyOf, uri_rdf__1, uri_rdfs_member) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  208: ip(uri_rdfs_member) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  209: iext(uri_rdfs_subPropertyOf, uri_rdf__2, uri_rdfs_member) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  210: iext(uri_rdfs_subPropertyOf, uri_rdf__3, uri_rdfs_member) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  211: iext(uri_rdfs_subPropertyOf, uri_rdfs_member, uri_rdfs_member) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  212: iext(uri_rdf_type, uri_rdfs_member, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  213: icext(uri_rdf_Property, uri_rdfs_member) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  215: ifeq(icext(uri_rdfs_Datatype, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  216: ifeq(lv(X), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  217: ifeq(icext(uri_rdfs_Literal, X), ip(uri_rdfs_subPropertyOf), lv(X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  218: ifeq(lv(X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Literal, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  219: ifeq(icext(uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), ic(X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  220: ifeq(ic(X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  221: ifeq(iext(X, Y, Z), ip(uri_rdfs_subPropertyOf), ip(X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  222: ifeq(icext(uri_rdfs_Datatype, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  223: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  224: ifeq(iext(uri_rdf_object, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  225: ifeq(iext(uri_rdf_value, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  226: ifeq(iext(uri_rdf_first, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  227: ifeq(iext(uri_rdf__3, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  228: ifeq(iext(uri_rdf__2, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  229: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  230: ifeq(iext(uri_rdf__1, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  231: ifeq(iext(uri_rdf_subject, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  232: ifeq(iext(uri_rdfs_seeAlso, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  233: ifeq(iext(uri_rdf_type, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  234: ifeq(iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  235: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  236: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  237: ifeq(icext(uri_rdfs_ContainerMembershipProperty, uri_rdfs_member), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  238: ifeq(iext(uri_rdfs_member, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  240: ifeq(icext(X, Y), ip(uri_rdfs_subPropertyOf), ifeq(iext(uri_rdfs_subClassOf, X, Z), ip(uri_rdfs_subPropertyOf), icext(Z, Y), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  241: ifeq(icext(X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  242: ifeq(icext(uri_rdfs_Seq, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Container, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  243: ifeq(icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  244: ifeq(icext(uri_rdfs_Datatype, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  245: ifeq(icext(uri_rdf_Alt, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Container, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  246: ifeq(icext(uri_rdf_Bag, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Container, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  247: ifeq(icext(uri_rdf_XMLLiteral, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Literal, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  248: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), icext(X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  249: ifeq(icext(uri_rdfs_Container, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Container, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  250: ifeq(icext(uri_rdfs_Seq, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Seq, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  251: ifeq(icext(uri_rdfs_Literal, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Literal, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  252: ifeq(icext(uri_rdf_Bag, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_Bag, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  253: ifeq(icext(uri_rdf_Alt, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_Alt, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  254: ifeq(icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  255: ifeq(icext(uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  256: ifeq(icext(uri_rdf_XMLLiteral, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_XMLLiteral, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  257: ifeq(icext(uri_rdfs_Datatype, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Datatype, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  258: ifeq(icext(uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  259: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__3), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  260: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_XMLLiteral), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  261: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__2), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  262: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__2), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  263: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_List, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_nil), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  264: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__1), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  265: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__3), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  266: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_object), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  267: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_first), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  268: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_rest), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  269: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_value), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  270: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_subject), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  271: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_type), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  272: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__1), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  273: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  274: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Alt), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  275: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  276: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Bag), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  277: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_XMLLiteral), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  278: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  279: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  280: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Seq), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  281: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  282: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  283: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  284: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  285: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  286: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_seeAlso), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  287: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  288: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_isDefinedBy), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  289: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  290: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  292: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Z, W), ip(uri_rdfs_subPropertyOf), icext(Y, W), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  293: ifeq(iext(uri_rdf_predicate, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  294: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_List, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  295: ifeq(iext(uri_rdf_type, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Class, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  296: icext(uri_rdfs_Class, uri_rdf_List) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  297: ic(uri_rdf_List) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  298: iext(uri_rdf_type, uri_rdf_List, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  299: iext(uri_rdfs_subClassOf, uri_rdf_List, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  300: iext(uri_rdfs_subClassOf, uri_rdf_List, uri_rdf_List) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  301: ifeq(iext(uri_rdfs_comment, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Literal, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  302: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Class, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  303: icext(uri_rdfs_Class, uri_rdfs_Statement) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  304: ic(uri_rdfs_Statement) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  305: iext(uri_rdf_type, uri_rdfs_Statement, uri_rdfs_Class) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  306: iext(uri_rdfs_subClassOf, uri_rdfs_Statement, uri_rdfs_Resource) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  307: iext(uri_rdfs_subClassOf, uri_rdfs_Statement, uri_rdfs_Statement) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  308: ifeq(iext(uri_rdfs_label, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Literal, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  309: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Class, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  310: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Class, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  311: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_Property, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  312: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  313: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  314: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  315: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  316: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_List), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  317: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  318: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_List), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  319: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  320: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  321: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  322: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  323: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_List), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  324: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  325: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  326: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  327: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  328: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  329: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  330: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  331: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_seeAlso), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  332: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  333: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  334: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_List), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  335: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Alt), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  336: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  337: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Bag), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  338: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  339: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_XMLLiteral), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  340: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  341: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__2), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  342: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__3), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  343: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_first), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  344: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_object), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  345: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Seq), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  346: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  347: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  348: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__1), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  349: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  350: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_rest), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  351: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_isDefinedBy), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  352: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_type), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  353: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_subject), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  354: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_value), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  355: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  356: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  357: ifeq(icext(uri_rdfs_Statement, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Statement, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  358: ifeq(icext(uri_rdf_List, X), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_List, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  359: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_List), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  360: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  362: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Z, W), ip(uri_rdfs_subPropertyOf), icext(Y, Z), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  363: ifeq(iext(uri_rdfs_comment, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  364: ifeq(iext(uri_rdfs_label, X, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  365: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_List, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  366: ifeq(iext(uri_rdf_subject, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Statement, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  367: ifeq(iext(uri_rdf_object, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Statement, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  368: ifeq(iext(uri_rdf_first, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_List, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  369: ifeq(iext(uri_rdf_predicate, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Statement, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  370: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  371: icext(uri_rdf_Property, uri_rdf_predicate) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  372: icext(uri_rdf_Property, uri_rdfs_comment) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  373: icext(uri_rdf_Property, uri_rdfs_label) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  374: iext(uri_rdf_type, uri_rdfs_label, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  375: ip(uri_rdfs_label) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  376: iext(uri_rdf_type, uri_rdfs_comment, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  377: ip(uri_rdfs_comment) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  378: iext(uri_rdf_type, uri_rdf_predicate, uri_rdf_Property) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  379: ip(uri_rdf_predicate) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  380: iext(uri_rdfs_subPropertyOf, uri_rdf_predicate, uri_rdf_predicate) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  381: iext(uri_rdfs_subPropertyOf, uri_rdfs_comment, uri_rdfs_comment) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  382: iext(uri_rdfs_subPropertyOf, uri_rdfs_label, uri_rdfs_label) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  383: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  384: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  385: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdfs_subPropertyOf), icext(uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  386: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  387: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_XMLLiteral), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  388: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__1), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  389: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__2), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  390: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__3), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  391: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_first), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  392: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_nil), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  393: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_object), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  394: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_rest), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  395: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_subject), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  396: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_type), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  397: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_value), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  398: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__1), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  399: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__2), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  400: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__3), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  401: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_first), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  402: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_object), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  403: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_predicate), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  404: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_rest), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  405: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_subject), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  406: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_type), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  407: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_value), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  408: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_comment), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  409: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  410: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_isDefinedBy), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  411: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_label), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  412: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  413: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  414: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_seeAlso), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  415: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  416: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  417: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__1), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  418: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__2), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  419: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__3), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  420: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_first), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  421: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_predicate), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  422: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_rest), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  423: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_subject), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  424: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_type), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  425: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_value), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  426: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_comment), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  427: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  428: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_isDefinedBy), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  429: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_label), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  430: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  431: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  432: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_seeAlso), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  433: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  434: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  435: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Alt), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  436: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Bag), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  437: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_XMLLiteral), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  438: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  439: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  440: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Seq), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  441: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_isDefinedBy), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  442: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), icext(X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  443: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  444: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_rest), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  445: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  446: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__1), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  447: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  448: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  449: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_seeAlso), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  450: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_type), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  451: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_subject), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  452: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_value), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  453: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__2), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  454: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf__3), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  455: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_first), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  456: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_object), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  457: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  458: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_label), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  459: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_comment), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  460: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_predicate), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  461: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  462: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  463: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  464: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  465: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  466: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  467: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_List), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  468: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_comment), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  469: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_label), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  470: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_label), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  471: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdfs_comment), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  472: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_predicate), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  473: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), icext(X, uri_rdf_predicate), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  475: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Z, W), ip(uri_rdfs_subPropertyOf), iext(Y, Z, W), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  476: ifeq(iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_seeAlso, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  477: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_Property, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  478: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  479: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__1, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  480: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__1, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  481: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__2, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  482: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__2, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  483: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__3, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  484: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__3, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  485: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_first, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  486: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_nil, uri_rdf_List), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  487: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_object, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  488: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_rest, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  489: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_subject, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  490: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_type, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  491: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_value, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  492: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  493: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  494: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  495: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_first, uri_rdf_List), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  496: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_object, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  497: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_predicate, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  498: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  499: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_subject, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  500: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_type, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  501: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  502: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_comment, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  503: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  504: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  505: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_label, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  506: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  507: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  508: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  509: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  510: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  511: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  512: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  513: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  514: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_first, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  515: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_predicate, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  516: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  517: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_subject, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  518: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_type, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  519: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  520: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_comment, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  521: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_domain, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  522: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  523: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_label, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  524: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  525: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_range, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  526: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  527: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  528: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  529: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_Alt, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  530: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_Bag, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  531: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  532: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  533: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  534: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Seq, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  535: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  536: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  537: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, Y, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  538: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  539: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  540: ifeq(iext(uri_rdf_subject, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdf_subject, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  541: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_domain, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  542: ifeq(iext(uri_rdf__2, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdf__2, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  543: ifeq(iext(uri_rdf_value, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdf_value, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  544: ifeq(iext(uri_rdf_type, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdf_type, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  545: ifeq(iext(uri_rdf__1, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdf__1, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  546: ifeq(iext(uri_rdf__1, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_member, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  547: ifeq(iext(uri_rdf__3, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_member, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  548: ifeq(iext(uri_rdf__2, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_member, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  549: ifeq(iext(uri_rdf__3, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdf__3, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  550: ifeq(iext(uri_rdf_first, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdf_first, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  551: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdf_rest, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  552: ifeq(iext(uri_rdf_object, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdf_object, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  553: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  554: ifeq(iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  555: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_range, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  556: ifeq(iext(uri_rdfs_seeAlso, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_seeAlso, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  557: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Literal, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  558: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Datatype, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  559: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Datatype, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  560: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Literal, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  561: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_domain, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  562: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  563: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_isDefinedBy, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  564: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_subClassOf, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  565: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__2, uri_rdf__2), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  566: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_subject, uri_rdf_subject), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  567: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  568: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  569: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  570: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Class, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  571: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_Bag, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  572: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_Property, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  573: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  574: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_Property, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  575: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_Alt, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  576: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_Bag, uri_rdf_Bag), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  577: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_value, uri_rdf_value), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  578: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_type, uri_rdf_type), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  579: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_Alt, uri_rdf_Alt), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  580: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__3, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  581: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__3, uri_rdf__3), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  582: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__2, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  583: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_first, uri_rdf_first), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  584: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_rest, uri_rdf_rest), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  585: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_object, uri_rdf_object), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  586: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  587: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  588: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Container, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  589: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Container, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  590: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Seq, uri_rdfs_Seq), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  591: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Seq, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  592: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__1, uri_rdf__1), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  593: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf__1, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  594: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  595: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_seeAlso, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  596: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_range, uri_rdfs_range), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  597: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_subClassOf, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  598: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_seeAlso, uri_rdfs_seeAlso), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  599: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_Alt, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  600: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Container, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  601: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  602: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  603: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  604: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_predicate, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  605: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_List, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  606: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_Bag, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  607: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  608: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_label, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  609: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Seq, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  610: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Statement, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  611: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_comment, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  612: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Literal, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  613: ifeq(iext(uri_rdfs_member, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_member, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  614: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Resource, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  615: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_List, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  616: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Statement, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  617: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Statement, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  618: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_List, uri_rdf_List), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  619: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_member, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  620: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_member, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  621: ifeq(iext(uri_rdfs_comment, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_comment, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  622: ifeq(iext(uri_rdfs_label, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_label, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  623: ifeq(iext(uri_rdf_predicate, X, Y), ip(uri_rdfs_subPropertyOf), iext(uri_rdf_predicate, X, Y), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  624: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdf_predicate, uri_rdf_predicate), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  625: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_label, uri_rdfs_label), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  626: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_comment, uri_rdfs_comment), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  627: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_rdfs_subPropertyOf), iext(X, uri_rdfs_Resource, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  629: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_rdfs_subPropertyOf), ifeq(iext(uri_rdfs_subPropertyOf, Z, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, Z, Y), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  630: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_isDefinedBy), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_seeAlso), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  631: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_seeAlso, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  632: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf__2), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  633: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, uri_rdf__1, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  634: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf__3), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  635: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf__1), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  636: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, uri_rdf__3, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  637: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subPropertyOf, uri_rdf__2, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  639: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_rdfs_subPropertyOf), ifeq(iext(uri_rdfs_subClassOf, Z, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, Z, Y), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  640: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Alt), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  641: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Bag), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  642: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_XMLLiteral), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  643: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  644: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  645: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Seq), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  646: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdf_Alt, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  647: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdf_Bag, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  648: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Literal, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  649: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  650: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  651: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdfs_Seq, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  652: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdfs_Literal, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  653: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  654: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdfs_Seq, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  655: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  656: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  657: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  658: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdf_Alt, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  659: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdf_Bag, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  660: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  661: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  662: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  663: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  664: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Seq), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  665: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  666: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  667: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  668: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Alt), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  669: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Bag), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  670: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  671: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_XMLLiteral), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  672: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_List), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  673: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  674: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdf_List, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  675: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_rdfs_subPropertyOf), iext(uri_rdfs_subClassOf, uri_rdfs_Statement, X), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  676: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, Z), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  677: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, Z), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  678: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  679: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  680: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  681: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Property, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  682: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  683: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__1, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  684: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__2, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  685: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__1, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  686: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__2, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  687: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__3, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  688: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_first, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  689: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__3, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  690: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_nil, uri_rdf_List), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  691: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_subject, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  692: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_object, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  693: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_rest, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  694: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_type, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  695: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_value, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  696: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  697: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  698: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_object, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  699: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_first, uri_rdf_List), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  700: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  701: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_predicate, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  702: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_subject, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  703: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  704: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_type, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  705: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  706: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_comment, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  707: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  708: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  709: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_label, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  710: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  711: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  712: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  713: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  714: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  715: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  716: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  717: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_first, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  718: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  719: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_predicate, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  720: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_comment, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  721: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  722: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_subject, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  723: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_type, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  724: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  725: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_domain, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  726: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_label, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  727: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  728: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  729: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  730: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  731: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_range, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  732: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  733: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Alt, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  734: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Bag, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  735: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  736: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  737: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  738: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__1, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  739: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__2, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  740: ifeq(iext(uri_rdfs_domain, X, uri_rdf_List), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_nil, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  741: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__1, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  742: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__3, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  743: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_object, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  744: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_first, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  745: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_rest, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  746: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_value, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  747: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_subject, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  748: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_type, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  749: ifeq(iext(uri_rdfs_range, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf__1), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  750: ifeq(iext(uri_rdfs_range, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf__2), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  751: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf__1), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  752: ifeq(iext(uri_rdfs_range, X, uri_rdf_List), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_nil), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  753: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf__2), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  754: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_first), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  755: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf__3), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  756: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_object), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  757: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_value), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  758: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  759: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_subject), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  760: ifeq(iext(uri_rdfs_range, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf__3), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  761: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_XMLLiteral, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  762: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__3, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  763: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__2, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  764: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_rest), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  765: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_XMLLiteral), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  766: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  767: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  768: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  769: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_List, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  770: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Bag, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  771: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Alt, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  772: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Property, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  773: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Class, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  774: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_XMLLiteral, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  775: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Container, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  776: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_predicate, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  777: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_predicate), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  778: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_List), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  779: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  780: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_comment, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  781: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_comment), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  782: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_label), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  783: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_label, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  784: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_Seq), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  785: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  786: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_Alt), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  787: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  788: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_Bag), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  789: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_XMLLiteral), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  790: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  791: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  792: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_subPropertyOf, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  793: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Seq, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  794: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  795: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Statement, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  796: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Literal, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  797: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Datatype, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  798: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  799: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  800: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__3, uri_rdfs_member), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  801: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_domain, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  802: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  803: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_range, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  804: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_rest, uri_rdf_rest), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  805: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_object, uri_rdf_object), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  806: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_first, uri_rdf_first), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  807: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_type, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  808: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_subject, uri_rdf_subject), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  809: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_value, uri_rdf_value), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  810: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  811: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Datatype), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  812: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  813: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Seq), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  814: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Literal, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  815: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Literal, uri_rdfs_Literal), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  816: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__1, uri_rdf__1), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  817: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__1, uri_rdfs_member), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  818: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__2, uri_rdfs_member), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  819: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__2, uri_rdf__2), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  820: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf__3, uri_rdf__3), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  821: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  822: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  823: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  824: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  825: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  826: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  827: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  828: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdfs_seeAlso), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  829: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  830: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Container, uri_rdfs_Container), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  831: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Container, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  832: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  833: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  834: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Class, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  835: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Bag, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  836: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Property, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  837: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Property, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  838: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  839: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Bag, uri_rdf_Bag), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  840: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Alt, uri_rdf_Alt), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  841: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Alt, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  842: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_domain), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  843: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_isDefinedBy), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  844: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_domain, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  845: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_range, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  846: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_isDefinedBy, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  847: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  848: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_range), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  849: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_seeAlso), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  850: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_subClassOf, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  851: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_seeAlso, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  852: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  853: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Alt, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  854: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_List, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  855: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  856: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_Bag, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  857: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Container, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  858: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_predicate, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  859: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_label, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  860: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Literal, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  861: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  862: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  863: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Statement, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  864: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  865: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_comment, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  866: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  867: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Resource, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  868: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_member, uri_rdfs_member), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  869: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Resource, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  870: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Statement, uri_rdfs_Statement), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  871: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Statement, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  872: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_member, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  873: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_List, uri_rdf_List), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  874: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_List, uri_rdfs_Resource), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  875: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_member, Y), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  876: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, Y, uri_rdfs_member), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  877: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdf_predicate, uri_rdf_predicate), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  878: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_label, uri_rdfs_label), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  879: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_comment, uri_rdfs_comment), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  880: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_rdfs_subPropertyOf), ifeq(iext(X, uri_rdfs_Resource, uri_rdfs_Class), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf), ip(uri_rdfs_subPropertyOf)), ip(uri_rdfs_subPropertyOf)) -> ip(uri_rdfs_subPropertyOf)
% 10.10/9.89  
%------------------------------------------------------------------------------