# Generated with http://www.agfa.com/w3c/euler/#R3588 on 29 Sep 2003 22:06:28 GMT
{
 (
 <http://www.agfa.com/w3c/euler/rdfs-rules.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/rdfs-facts.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.agfa.com/w3c/euler/rdfs-query.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
     {[iw:Variable "?P"] = rdfs:subClassOf. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
    {rdfs:subClassOf rdfs:domain rdfs:Class}. 
     {[iw:Variable "?S"] = rdf:Alt. 
      [iw:Variable "?P"] = rdfs:subClassOf.
      [iw:Variable "?O"] = rdfs:Container. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdf:Alt rdfs:subClassOf rdfs:Container}. 
    [iw:Variable "?C"] = rdf:Alt. 
    [iw:Variable "?C"] a rdfs:Class} =>
  {rdf:Alt a rdfs:Class}}  =>
{rdf:Alt rdfs:subClassOf rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
     {[iw:Variable "?P"] = rdfs:subClassOf. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
    {rdfs:subClassOf rdfs:domain rdfs:Class}. 
     {[iw:Variable "?S"] = rdf:Bag. 
      [iw:Variable "?P"] = rdfs:subClassOf.
      [iw:Variable "?O"] = rdfs:Container. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdf:Bag rdfs:subClassOf rdfs:Container}. 
    [iw:Variable "?C"] = rdf:Bag. 
    [iw:Variable "?C"] a rdfs:Class} =>
  {rdf:Bag a rdfs:Class}}  =>
{rdf:Bag rdfs:subClassOf rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdfs:domain. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdfs:domain rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdfs:subClassOf. 
      [iw:Variable "?P"] = rdfs:domain.
      [iw:Variable "?O"] = rdfs:Class. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdfs:subClassOf rdfs:domain rdfs:Class}. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?C"] a rdfs:Class} =>
  {rdfs:Class a rdfs:Class}}  =>
{rdfs:Class rdfs:subClassOf rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
     {[iw:Variable "?P"] = rdfs:subClassOf. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
    {rdfs:subClassOf rdfs:domain rdfs:Class}. 
     {[iw:Variable "?S"] = rdfs:ContainerMembershipProperty. 
      [iw:Variable "?P"] = rdfs:subClassOf.
      [iw:Variable "?O"] = rdf:Property. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property}. 
    [iw:Variable "?C"] = rdfs:ContainerMembershipProperty. 
    [iw:Variable "?C"] a rdfs:Class} =>
  {rdfs:ContainerMembershipProperty a rdfs:Class}}  =>
{rdfs:ContainerMembershipProperty rdfs:subClassOf rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
     {[iw:Variable "?P"] = rdfs:subClassOf. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
    {rdfs:subClassOf rdfs:domain rdfs:Class}. 
     {[iw:Variable "?S"] = rdfs:Datatype. 
      [iw:Variable "?P"] = rdfs:subClassOf.
      [iw:Variable "?O"] = rdfs:Class. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdfs:Datatype rdfs:subClassOf rdfs:Class}. 
    [iw:Variable "?C"] = rdfs:Datatype. 
    [iw:Variable "?C"] a rdfs:Class} =>
  {rdfs:Datatype a rdfs:Class}}  =>
{rdfs:Datatype rdfs:subClassOf rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdfs:range. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdfs:range rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdfs:comment. 
      [iw:Variable "?P"] = rdfs:range.
      [iw:Variable "?O"] = rdfs:Literal. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdfs:comment rdfs:range rdfs:Literal}. 
    [iw:Variable "?C"] = rdfs:Literal. 
    [iw:Variable "?C"] a rdfs:Class} =>
  {rdfs:Literal a rdfs:Class}}  =>
{rdfs:Literal rdfs:subClassOf rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdfs:domain. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdfs:domain rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdf:first. 
      [iw:Variable "?P"] = rdfs:domain.
      [iw:Variable "?O"] = rdf:List. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdf:first rdfs:domain rdf:List}. 
    [iw:Variable "?C"] = rdf:List. 
    [iw:Variable "?C"] a rdfs:Class} =>
  {rdf:List a rdfs:Class}}  =>
{rdf:List rdfs:subClassOf rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdfs:domain. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdfs:domain rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdfs:domain. 
      [iw:Variable "?P"] = rdfs:domain.
      [iw:Variable "?O"] = rdf:Property. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdfs:domain rdfs:domain rdf:Property}. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?C"] a rdfs:Class} =>
  {rdf:Property a rdfs:Class}}  =>
{rdf:Property rdfs:subClassOf rdfs:Resource}. 
rdfs:Resource rdfs:subClassOf rdfs:Resource. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
     {[iw:Variable "?P"] = rdfs:subClassOf. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
    {rdfs:subClassOf rdfs:domain rdfs:Class}. 
     {[iw:Variable "?S"] = rdf:Seq. 
      [iw:Variable "?P"] = rdfs:subClassOf.
      [iw:Variable "?O"] = rdfs:Container. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdf:Seq rdfs:subClassOf rdfs:Container}. 
    [iw:Variable "?C"] = rdf:Seq. 
    [iw:Variable "?C"] a rdfs:Class} =>
  {rdf:Seq a rdfs:Class}}  =>
{rdf:Seq rdfs:subClassOf rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdfs:domain. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdfs:domain rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdf:object. 
      [iw:Variable "?P"] = rdfs:domain.
      [iw:Variable "?O"] = rdf:Statement. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdf:object rdfs:domain rdf:Statement}. 
    [iw:Variable "?C"] = rdf:Statement. 
    [iw:Variable "?C"] a rdfs:Class} =>
  {rdf:Statement a rdfs:Class}}  =>
{rdf:Statement rdfs:subClassOf rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
     {[iw:Variable "?P"] = rdfs:subClassOf. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
    {rdfs:subClassOf rdfs:domain rdfs:Class}. 
     {[iw:Variable "?S"] = rdf:XMLLiteral. 
      [iw:Variable "?P"] = rdfs:subClassOf.
      [iw:Variable "?O"] = rdfs:Literal. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdf:XMLLiteral rdfs:subClassOf rdfs:Literal}. 
    [iw:Variable "?C"] = rdf:XMLLiteral. 
    [iw:Variable "?C"] a rdfs:Class} =>
  {rdf:XMLLiteral a rdfs:Class}}  =>
{rdf:XMLLiteral rdfs:subClassOf rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {[iw:Variable "?S"] = rdf:Alt. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Container. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:Alt rdfs:subClassOf rdfs:Container}}  =>
{rdf:Alt a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
         {[iw:Variable "?P"] = rdfs:domain. 
          [iw:Variable "?C"] = rdfs:Class. 
          [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
        {rdfs:domain rdfs:range rdfs:Class}. 
         {[iw:Variable "?S"] = rdfs:subClassOf. 
          [iw:Variable "?P"] = rdfs:domain.
          [iw:Variable "?O"] = rdfs:Class. 
          [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
        {rdfs:subClassOf rdfs:domain rdfs:Class}. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?C"] a rdfs:Class} =>
      {rdfs:Class a rdfs:Class}. 
      [iw:Variable "?A"] = rdfs:Class. 
      [iw:Variable "?B"] = rdfs:Resource. 
      [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
    {rdfs:Class rdfs:subClassOf rdfs:Resource}. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
       {[iw:Variable "?P"] = rdfs:subClassOf. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
      {rdfs:subClassOf rdfs:domain rdfs:Class}. 
       {[iw:Variable "?S"] = rdf:Alt. 
        [iw:Variable "?P"] = rdfs:subClassOf.
        [iw:Variable "?O"] = rdfs:Container. 
        [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
      {rdf:Alt rdfs:subClassOf rdfs:Container}. 
      [iw:Variable "?S"] = rdf:Alt. 
      [iw:Variable "?A"] = rdfs:Class. 
      [iw:Variable "?S"] a [iw:Variable "?A"]} =>
    {rdf:Alt a rdfs:Class}. 
    [iw:Variable "?S"] = rdf:Alt. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:Alt rdf:type rdfs:Resource}}  =>
{rdf:Alt a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {[iw:Variable "?S"] = rdf:Bag. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Container. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:Bag rdfs:subClassOf rdfs:Container}}  =>
{rdf:Bag a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
         {[iw:Variable "?P"] = rdfs:domain. 
          [iw:Variable "?C"] = rdfs:Class. 
          [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
        {rdfs:domain rdfs:range rdfs:Class}. 
         {[iw:Variable "?S"] = rdfs:subClassOf. 
          [iw:Variable "?P"] = rdfs:domain.
          [iw:Variable "?O"] = rdfs:Class. 
          [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
        {rdfs:subClassOf rdfs:domain rdfs:Class}. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?C"] a rdfs:Class} =>
      {rdfs:Class a rdfs:Class}. 
      [iw:Variable "?A"] = rdfs:Class. 
      [iw:Variable "?B"] = rdfs:Resource. 
      [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
    {rdfs:Class rdfs:subClassOf rdfs:Resource}. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
       {[iw:Variable "?P"] = rdfs:subClassOf. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
      {rdfs:subClassOf rdfs:domain rdfs:Class}. 
       {[iw:Variable "?S"] = rdf:Bag. 
        [iw:Variable "?P"] = rdfs:subClassOf.
        [iw:Variable "?O"] = rdfs:Container. 
        [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
      {rdf:Bag rdfs:subClassOf rdfs:Container}. 
      [iw:Variable "?S"] = rdf:Bag. 
      [iw:Variable "?A"] = rdfs:Class. 
      [iw:Variable "?S"] a [iw:Variable "?A"]} =>
    {rdf:Bag a rdfs:Class}. 
    [iw:Variable "?S"] = rdf:Bag. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:Bag rdf:type rdfs:Resource}}  =>
{rdf:Bag a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
       {[iw:Variable "?P"] = rdfs:domain. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
      {rdfs:domain rdfs:range rdfs:Class}. 
       {[iw:Variable "?S"] = rdfs:subClassOf. 
        [iw:Variable "?P"] = rdfs:domain.
        [iw:Variable "?O"] = rdfs:Class. 
        [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
      {rdfs:subClassOf rdfs:domain rdfs:Class}. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?C"] a rdfs:Class} =>
    {rdfs:Class a rdfs:Class}. 
    [iw:Variable "?S"] = rdfs:Class. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:Class rdfs:subClassOf rdfs:Resource}}  =>
{rdfs:Class a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdfs:domain. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdfs:domain rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdfs:subClassOf. 
      [iw:Variable "?P"] = rdfs:domain.
      [iw:Variable "?O"] = rdfs:Class. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdfs:subClassOf rdfs:domain rdfs:Class}. 
    [iw:Variable "?S"] = rdfs:Class. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Class. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:Class rdf:type rdfs:Class}}  =>
{rdfs:Class a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {[iw:Variable "?S"] = rdfs:ContainerMembershipProperty. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdf:Property. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property}}  =>
{rdfs:ContainerMembershipProperty a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
         {[iw:Variable "?P"] = rdfs:domain. 
          [iw:Variable "?C"] = rdfs:Class. 
          [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
        {rdfs:domain rdfs:range rdfs:Class}. 
         {[iw:Variable "?S"] = rdfs:subClassOf. 
          [iw:Variable "?P"] = rdfs:domain.
          [iw:Variable "?O"] = rdfs:Class. 
          [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
        {rdfs:subClassOf rdfs:domain rdfs:Class}. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?C"] a rdfs:Class} =>
      {rdfs:Class a rdfs:Class}. 
      [iw:Variable "?A"] = rdfs:Class. 
      [iw:Variable "?B"] = rdfs:Resource. 
      [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
    {rdfs:Class rdfs:subClassOf rdfs:Resource}. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
       {[iw:Variable "?P"] = rdfs:subClassOf. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
      {rdfs:subClassOf rdfs:domain rdfs:Class}. 
       {[iw:Variable "?S"] = rdfs:ContainerMembershipProperty. 
        [iw:Variable "?P"] = rdfs:subClassOf.
        [iw:Variable "?O"] = rdf:Property. 
        [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
      {rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property}. 
      [iw:Variable "?S"] = rdfs:ContainerMembershipProperty. 
      [iw:Variable "?A"] = rdfs:Class. 
      [iw:Variable "?S"] a [iw:Variable "?A"]} =>
    {rdfs:ContainerMembershipProperty a rdfs:Class}. 
    [iw:Variable "?S"] = rdfs:ContainerMembershipProperty. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:ContainerMembershipProperty rdf:type rdfs:Resource}}  =>
{rdfs:ContainerMembershipProperty a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {[iw:Variable "?S"] = rdfs:Datatype. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Class. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:Datatype rdfs:subClassOf rdfs:Class}}  =>
{rdfs:Datatype a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdf:type. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdf:type rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdf:XMLLiteral. 
      [iw:Variable "?P"] = rdf:type.
      [iw:Variable "?O"] = rdfs:Datatype. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdf:XMLLiteral rdf:type rdfs:Datatype}. 
    [iw:Variable "?S"] = rdfs:Datatype. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Class. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:Datatype rdf:type rdfs:Class}}  =>
{rdfs:Datatype a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
       {[iw:Variable "?P"] = rdfs:range. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
      {rdfs:range rdfs:range rdfs:Class}. 
       {[iw:Variable "?S"] = rdfs:comment. 
        [iw:Variable "?P"] = rdfs:range.
        [iw:Variable "?O"] = rdfs:Literal. 
        [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
      {rdfs:comment rdfs:range rdfs:Literal}. 
      [iw:Variable "?C"] = rdfs:Literal. 
      [iw:Variable "?C"] a rdfs:Class} =>
    {rdfs:Literal a rdfs:Class}. 
    [iw:Variable "?S"] = rdfs:Literal. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:Literal rdfs:subClassOf rdfs:Resource}}  =>
{rdfs:Literal a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdfs:range. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdfs:range rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdfs:comment. 
      [iw:Variable "?P"] = rdfs:range.
      [iw:Variable "?O"] = rdfs:Literal. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdfs:comment rdfs:range rdfs:Literal}. 
    [iw:Variable "?S"] = rdfs:Literal. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Class. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:Literal rdf:type rdfs:Class}}  =>
{rdfs:Literal a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
       {[iw:Variable "?P"] = rdfs:domain. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
      {rdfs:domain rdfs:range rdfs:Class}. 
       {[iw:Variable "?S"] = rdf:first. 
        [iw:Variable "?P"] = rdfs:domain.
        [iw:Variable "?O"] = rdf:List. 
        [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
      {rdf:first rdfs:domain rdf:List}. 
      [iw:Variable "?C"] = rdf:List. 
      [iw:Variable "?C"] a rdfs:Class} =>
    {rdf:List a rdfs:Class}. 
    [iw:Variable "?S"] = rdf:List. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:List rdfs:subClassOf rdfs:Resource}}  =>
{rdf:List a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdfs:domain. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdfs:domain rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdf:first. 
      [iw:Variable "?P"] = rdfs:domain.
      [iw:Variable "?O"] = rdf:List. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdf:first rdfs:domain rdf:List}. 
    [iw:Variable "?S"] = rdf:List. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Class. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:List rdf:type rdfs:Class}}  =>
{rdf:List a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
       {[iw:Variable "?P"] = rdfs:domain. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
      {rdfs:domain rdfs:range rdfs:Class}. 
       {[iw:Variable "?S"] = rdfs:domain. 
        [iw:Variable "?P"] = rdfs:domain.
        [iw:Variable "?O"] = rdf:Property. 
        [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
      {rdfs:domain rdfs:domain rdf:Property}. 
      [iw:Variable "?C"] = rdf:Property. 
      [iw:Variable "?C"] a rdfs:Class} =>
    {rdf:Property a rdfs:Class}. 
    [iw:Variable "?S"] = rdf:Property. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:Property rdfs:subClassOf rdfs:Resource}}  =>
{rdf:Property a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdfs:domain. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdfs:domain rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdfs:domain. 
      [iw:Variable "?P"] = rdfs:domain.
      [iw:Variable "?O"] = rdf:Property. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdfs:domain rdfs:domain rdf:Property}. 
    [iw:Variable "?S"] = rdf:Property. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Class. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:Property rdf:type rdfs:Class}}  =>
{rdf:Property a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
       {[iw:Variable "?P"] = rdfs:domain. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
      {rdfs:domain rdfs:range rdfs:Class}. 
       {[iw:Variable "?S"] = rdfs:comment. 
        [iw:Variable "?P"] = rdfs:domain.
        [iw:Variable "?O"] = rdfs:Resource. 
        [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
      {rdfs:comment rdfs:domain rdfs:Resource}. 
      [iw:Variable "?C"] = rdfs:Resource. 
      [iw:Variable "?C"] a rdfs:Class} =>
    {rdfs:Resource a rdfs:Class}. 
    [iw:Variable "?S"] = rdfs:Resource. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:Resource rdfs:subClassOf rdfs:Resource}}  =>
{rdfs:Resource a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdfs:domain. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdfs:domain rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdfs:comment. 
      [iw:Variable "?P"] = rdfs:domain.
      [iw:Variable "?O"] = rdfs:Resource. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdfs:comment rdfs:domain rdfs:Resource}. 
    [iw:Variable "?S"] = rdfs:Resource. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Class. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:Resource rdf:type rdfs:Class}}  =>
{rdfs:Resource a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {[iw:Variable "?S"] = rdf:Seq. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Container. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:Seq rdfs:subClassOf rdfs:Container}}  =>
{rdf:Seq a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
         {[iw:Variable "?P"] = rdfs:domain. 
          [iw:Variable "?C"] = rdfs:Class. 
          [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
        {rdfs:domain rdfs:range rdfs:Class}. 
         {[iw:Variable "?S"] = rdfs:subClassOf. 
          [iw:Variable "?P"] = rdfs:domain.
          [iw:Variable "?O"] = rdfs:Class. 
          [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
        {rdfs:subClassOf rdfs:domain rdfs:Class}. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?C"] a rdfs:Class} =>
      {rdfs:Class a rdfs:Class}. 
      [iw:Variable "?A"] = rdfs:Class. 
      [iw:Variable "?B"] = rdfs:Resource. 
      [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
    {rdfs:Class rdfs:subClassOf rdfs:Resource}. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
       {[iw:Variable "?P"] = rdfs:subClassOf. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
      {rdfs:subClassOf rdfs:domain rdfs:Class}. 
       {[iw:Variable "?S"] = rdf:Seq. 
        [iw:Variable "?P"] = rdfs:subClassOf.
        [iw:Variable "?O"] = rdfs:Container. 
        [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
      {rdf:Seq rdfs:subClassOf rdfs:Container}. 
      [iw:Variable "?S"] = rdf:Seq. 
      [iw:Variable "?A"] = rdfs:Class. 
      [iw:Variable "?S"] a [iw:Variable "?A"]} =>
    {rdf:Seq a rdfs:Class}. 
    [iw:Variable "?S"] = rdf:Seq. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:Seq rdf:type rdfs:Resource}}  =>
{rdf:Seq a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs8>. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
       {[iw:Variable "?P"] = rdfs:domain. 
        [iw:Variable "?C"] = rdfs:Class. 
        [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
      {rdfs:domain rdfs:range rdfs:Class}. 
       {[iw:Variable "?S"] = rdf:object. 
        [iw:Variable "?P"] = rdfs:domain.
        [iw:Variable "?O"] = rdf:Statement. 
        [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
      {rdf:object rdfs:domain rdf:Statement}. 
      [iw:Variable "?C"] = rdf:Statement. 
      [iw:Variable "?C"] a rdfs:Class} =>
    {rdf:Statement a rdfs:Class}. 
    [iw:Variable "?S"] = rdf:Statement. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:Statement rdfs:subClassOf rdfs:Resource}}  =>
{rdf:Statement a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs3>. 
     {[iw:Variable "?P"] = rdfs:domain. 
      [iw:Variable "?C"] = rdfs:Class. 
      [iw:Variable "?P"] rdfs:range [iw:Variable "?C"]} =>
    {rdfs:domain rdfs:range rdfs:Class}. 
     {[iw:Variable "?S"] = rdf:object. 
      [iw:Variable "?P"] = rdfs:domain.
      [iw:Variable "?O"] = rdf:Statement. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {rdf:object rdfs:domain rdf:Statement}. 
    [iw:Variable "?S"] = rdf:Statement. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Class. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:Statement rdf:type rdfs:Class}}  =>
{rdf:Statement a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:subClassOf. 
    [iw:Variable "?C"] = rdfs:Class. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:subClassOf rdfs:domain rdfs:Class}. 
   {[iw:Variable "?S"] = rdf:XMLLiteral. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Literal. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:XMLLiteral rdfs:subClassOf rdfs:Literal}}  =>
{rdf:XMLLiteral a rdfs:Class}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdf:type. 
    [iw:Variable "?C"] = rdfs:Resource. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdf:type rdfs:domain rdfs:Resource}. 
   {[iw:Variable "?S"] = rdf:XMLLiteral. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Datatype. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:XMLLiteral rdf:type rdfs:Datatype}}  =>
{rdf:XMLLiteral a rdfs:Resource}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:domain. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:domain rdfs:domain rdf:Property}. 
   {[iw:Variable "?S"] = rdfs:comment. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:comment rdfs:domain rdfs:Resource}}  =>
{rdfs:comment a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdf1>. 
   {[iw:Variable "?S"] = rdfs:comment. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:comment rdfs:domain rdfs:Resource}}  =>
{rdfs:domain a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:domain. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:domain rdfs:domain rdf:Property}. 
   {[iw:Variable "?S"] = rdf:first. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdf:List. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:first rdfs:domain rdf:List}}  =>
{rdf:first a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:domain. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:domain rdfs:domain rdf:Property}. 
   {[iw:Variable "?S"] = rdfs:isDefinedBy. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:isDefinedBy rdfs:domain rdfs:Resource}}  =>
{rdfs:isDefinedBy a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:domain. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:domain rdfs:domain rdf:Property}. 
   {[iw:Variable "?S"] = rdfs:label. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:label rdfs:domain rdfs:Resource}}  =>
{rdfs:label a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:domain. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:domain rdfs:domain rdf:Property}. 
   {[iw:Variable "?S"] = rdfs:member. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdfs:Container. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:member rdfs:domain rdfs:Container}}  =>
{rdfs:member a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:domain. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:domain rdfs:domain rdf:Property}. 
   {[iw:Variable "?S"] = rdf:object. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdf:Statement. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:object rdfs:domain rdf:Statement}}  =>
{rdf:object a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:domain. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:domain rdfs:domain rdf:Property}. 
   {[iw:Variable "?S"] = rdf:predicate. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdf:Statement. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:predicate rdfs:domain rdf:Statement}}  =>
{rdf:predicate a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdf1>. 
   {[iw:Variable "?S"] = rdfs:comment. 
    [iw:Variable "?P"] = rdfs:range.
    [iw:Variable "?O"] = rdfs:Literal. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:comment rdfs:range rdfs:Literal}}  =>
{rdfs:range a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:domain. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:domain rdfs:domain rdf:Property}. 
   {[iw:Variable "?S"] = rdf:rest. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdf:List. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:rest rdfs:domain rdf:List}}  =>
{rdf:rest a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:domain. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:domain rdfs:domain rdf:Property}. 
   {[iw:Variable "?S"] = rdfs:seeAlso. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:seeAlso rdfs:domain rdfs:Resource}}  =>
{rdfs:seeAlso a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdf1>. 
   {[iw:Variable "?S"] = rdf:Alt. 
    [iw:Variable "?P"] = rdfs:subClassOf.
    [iw:Variable "?O"] = rdfs:Container. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:Alt rdfs:subClassOf rdfs:Container}}  =>
{rdfs:subClassOf a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdf1>. 
   {[iw:Variable "?S"] = rdfs:isDefinedBy. 
    [iw:Variable "?P"] = rdfs:subPropertyOf.
    [iw:Variable "?O"] = rdfs:seeAlso. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso}}  =>
{rdfs:subPropertyOf a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:domain. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:domain rdfs:domain rdf:Property}. 
   {[iw:Variable "?S"] = rdf:subject. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdf:Statement. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:subject rdfs:domain rdf:Statement}}  =>
{rdf:subject a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdf1>. 
   {[iw:Variable "?S"] = rdf:XMLLiteral. 
    [iw:Variable "?P"] = rdf:type.
    [iw:Variable "?O"] = rdfs:Datatype. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:XMLLiteral rdf:type rdfs:Datatype}}  =>
{rdf:type a rdf:Property}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs2>. 
   {[iw:Variable "?P"] = rdfs:domain. 
    [iw:Variable "?C"] = rdf:Property. 
    [iw:Variable "?P"] rdfs:domain [iw:Variable "?C"]} =>
  {rdfs:domain rdfs:domain rdf:Property}. 
   {[iw:Variable "?S"] = rdf:value. 
    [iw:Variable "?P"] = rdfs:domain.
    [iw:Variable "?O"] = rdfs:Resource. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {rdf:value rdfs:domain rdfs:Resource}}  =>
{rdf:value a rdf:Property}. 
# Proof found for http://www.agfa.com/w3c/euler/rdfs-query.n3 in 14917 steps (22913 steps/sec) using 1 engine
}.