# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:04 GMT
{
 (
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.agfa.com/w3c/euler/etc5.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.


# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:04 GMT
{
 (
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.agfa.com/w3c/euler/etc3.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.


# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:04 GMT
{
 (
 <http://www.agfa.com/w3c/euler/authen.axiom.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/authen.lemma.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/authen#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/authen#authen1>. 
   {[ iw:Variable "?PERSON"] = <mailto:jos.deroo@agfa.com>.
    [ iw:Variable "?INSTITUTION"] = <http://www.agfa.com>.
    [ iw:Variable "?PERSON"] :member [ iw:Variable "?INSTITUTION"]} =>
  {<mailto:jos.deroo@agfa.com> :member <http://www.agfa.com>}. 
   {[ iw:Variable "?INSTITUTION"] = <http://www.agfa.com>.
    [ iw:Variable "?INSTITUTION"] :w3cmember <http://www.w3.org>} =>
  {<http://www.agfa.com> :w3cmember <http://www.w3.org>}. 
   {[ iw:Variable "?INSTITUTION"] = <http://www.agfa.com>.
    [ iw:Variable "?MAILINGLIST"] = <mailto:w3c-ac-forum@w3.org/>.
    [ iw:Variable "?INSTITUTION"] :subscribed [ iw:Variable "?MAILINGLIST"]} =>
  {<http://www.agfa.com> :subscribed <mailto:w3c-ac-forum@w3.org/>}. 
  [ iw:Variable "?WHO"] = <mailto:jos.deroo@agfa.com>.
  [ iw:Variable "?WHO"] :authenticated <mailto:w3c-ac-forum@w3.org/>} =>
{<mailto:jos.deroo@agfa.com> :authenticated <mailto:w3c-ac-forum@w3.org/>}. 
# Proof found for http://www.agfa.com/w3c/euler/authen.lemma.n3 in 4 steps (399 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:05 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/owl-rules.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/graph.axiom.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/graph.lemma.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/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/graph#>.
@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 nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix neg: <http://www.agfa.com/w3c/euler/negation#>.
@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/owl-rules#owl2t1>. 
  :route a owl:TransitiveProperty. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
     {[ iw:Variable "?P"] = :twoway.
      [ iw:Variable "?P"] rdfs:subPropertyOf :route} =>
    {:twoway rdfs:subPropertyOf :route}. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
       {[ iw:Variable "?P"] = :oneway.
        [ iw:Variable "?P"] rdfs:subPropertyOf :twoway} =>
      {:oneway rdfs:subPropertyOf :twoway}. 
       {[ iw:Variable "?S"] = :angers.
        [ iw:Variable "?P"] = :oneway.
        [ iw:Variable "?O"] = :nantes.
        [ iw:Variable "?S"] [ iw:Variable "?P"] [ iw:Variable "?O"]} =>
      {:angers :oneway :nantes}. 
      [ iw:Variable "?S"] = :angers.
      [ iw:Variable ":twoway"] = :twoway.
      [ iw:Variable "?O"] = :nantes.
      [ iw:Variable "?S"] [ iw:Variable ":twoway"] [ iw:Variable "?O"]} =>
    {:angers :twoway :nantes}. 
    [ iw:Variable "?X"] = :angers.
    [ iw:Variable "?O"] = :nantes.
    [ iw:Variable "?X"] :route [ iw:Variable "?O"]} =>
  {:angers :route :nantes}. 
   {
    <http://www.agfa.com/w3c/euler/owl-rules#owl2t1>. 
    :route a owl:TransitiveProperty. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
       {[ iw:Variable "?P"] = :twoway.
        [ iw:Variable "?P"] rdfs:subPropertyOf :route} =>
      {:twoway rdfs:subPropertyOf :route}. 
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
         {[ iw:Variable "?P"] = :oneway.
          [ iw:Variable "?P"] rdfs:subPropertyOf :twoway} =>
        {:oneway rdfs:subPropertyOf :twoway}. 
         {[ iw:Variable "?S"] = :lemans.
          [ iw:Variable "?P"] = :oneway.
          [ iw:Variable "?O"] = :angers.
          [ iw:Variable "?S"] [ iw:Variable "?P"] [ iw:Variable "?O"]} =>
        {:lemans :oneway :angers}. 
        [ iw:Variable "?S"] = :lemans.
        [ iw:Variable ":twoway"] = :twoway.
        [ iw:Variable "?O"] = :angers.
        [ iw:Variable "?S"] [ iw:Variable ":twoway"] [ iw:Variable "?O"]} =>
      {:lemans :twoway :angers}. 
      [ iw:Variable "?X"] = :lemans.
      [ iw:Variable "?O"] = :angers.
      [ iw:Variable "?X"] :route [ iw:Variable "?O"]} =>
    {:lemans :route :angers}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl2t1>. 
      :route a owl:TransitiveProperty. 
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
         {[ iw:Variable "?P"] = :twoway.
          [ iw:Variable "?P"] rdfs:subPropertyOf :route} =>
        {:twoway rdfs:subPropertyOf :route}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl1s1>. 
          :twoway a owl:SymmetricProperty. 
           {
            <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
             {[ iw:Variable "?P"] = :oneway.
              [ iw:Variable "?P"] rdfs:subPropertyOf :twoway} =>
            {:oneway rdfs:subPropertyOf :twoway}. 
             {[ iw:Variable "?S"] = :lemans.
              [ iw:Variable "?P"] = :oneway.
              [ iw:Variable "?O"] = :tours.
              [ iw:Variable "?S"] [ iw:Variable "?P"] [ iw:Variable "?O"]} =>
            {:lemans :oneway :tours}. 
            [ iw:Variable "?S"] = :lemans.
            [ iw:Variable "?O"] = :tours.
            [ iw:Variable "?S"] :twoway [ iw:Variable "?O"]} =>
          {:lemans :twoway :tours}. 
          [ iw:Variable "?S"] = :tours.
          [ iw:Variable ":twoway"] = :twoway.
          [ iw:Variable "?O"] = :lemans.
          [ iw:Variable "?S"] [ iw:Variable ":twoway"] [ iw:Variable "?O"]} =>
        {:tours :twoway :lemans}. 
        [ iw:Variable "?X"] = :tours.
        [ iw:Variable "?O"] = :lemans.
        [ iw:Variable "?X"] :route [ iw:Variable "?O"]} =>
      {:tours :route :lemans}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl2t1>. 
        :route a owl:TransitiveProperty. 
         {
          <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
           {[ iw:Variable "?P"] = :twoway.
            [ iw:Variable "?P"] rdfs:subPropertyOf :route} =>
          {:twoway rdfs:subPropertyOf :route}. 
           {
            <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
             {[ iw:Variable "?P"] = :oneway.
              [ iw:Variable "?P"] rdfs:subPropertyOf :twoway} =>
            {:oneway rdfs:subPropertyOf :twoway}. 
             {[ iw:Variable "?S"] = :blois.
              [ iw:Variable "?P"] = :oneway.
              [ iw:Variable "?O"] = :tours.
              [ iw:Variable "?S"] [ iw:Variable "?P"] [ iw:Variable "?O"]} =>
            {:blois :oneway :tours}. 
            [ iw:Variable "?S"] = :blois.
            [ iw:Variable ":twoway"] = :twoway.
            [ iw:Variable "?O"] = :tours.
            [ iw:Variable "?S"] [ iw:Variable ":twoway"] [ iw:Variable "?O"]} =>
          {:blois :twoway :tours}. 
          [ iw:Variable "?X"] = :blois.
          [ iw:Variable "?O"] = :tours.
          [ iw:Variable "?X"] :route [ iw:Variable "?O"]} =>
        {:blois :route :tours}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl2t1>. 
          :route a owl:TransitiveProperty. 
           {
            <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
             {[ iw:Variable "?P"] = :twoway.
              [ iw:Variable "?P"] rdfs:subPropertyOf :route} =>
            {:twoway rdfs:subPropertyOf :route}. 
             {
              <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
               {[ iw:Variable "?P"] = :oneway.
                [ iw:Variable "?P"] rdfs:subPropertyOf :twoway} =>
              {:oneway rdfs:subPropertyOf :twoway}. 
               {[ iw:Variable "?S"] = :orleans.
                [ iw:Variable "?P"] = :oneway.
                [ iw:Variable "?O"] = :blois.
                [ iw:Variable "?S"] [ iw:Variable "?P"] [ iw:Variable "?O"]} =>
              {:orleans :oneway :blois}. 
              [ iw:Variable "?S"] = :orleans.
              [ iw:Variable ":twoway"] = :twoway.
              [ iw:Variable "?O"] = :blois.
              [ iw:Variable "?S"] [ iw:Variable ":twoway"] [ iw:Variable "?O"]} =>
            {:orleans :twoway :blois}. 
            [ iw:Variable "?X"] = :orleans.
            [ iw:Variable "?O"] = :blois.
            [ iw:Variable "?X"] :route [ iw:Variable "?O"]} =>
          {:orleans :route :blois}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl2t1>. 
            :route a owl:TransitiveProperty. 
             {
              <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
               {[ iw:Variable "?P"] = :twoway.
                [ iw:Variable "?P"] rdfs:subPropertyOf :route} =>
              {:twoway rdfs:subPropertyOf :route}. 
               {
                <http://www.agfa.com/w3c/euler/owl-rules#owl1s1>. 
                :twoway a owl:SymmetricProperty. 
                 {
                  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
                   {[ iw:Variable "?P"] = :oneway.
                    [ iw:Variable "?P"] rdfs:subPropertyOf :twoway} =>
                  {:oneway rdfs:subPropertyOf :twoway}. 
                   {[ iw:Variable "?S"] = :orleans.
                    [ iw:Variable "?P"] = :oneway.
                    [ iw:Variable "?O"] = :bourges.
                    [ iw:Variable "?S"] [ iw:Variable "?P"] [ iw:Variable "?O"]} =>
                  {:orleans :oneway :bourges}. 
                  [ iw:Variable "?S"] = :orleans.
                  [ iw:Variable "?O"] = :bourges.
                  [ iw:Variable "?S"] :twoway [ iw:Variable "?O"]} =>
                {:orleans :twoway :bourges}. 
                [ iw:Variable "?S"] = :bourges.
                [ iw:Variable ":twoway"] = :twoway.
                [ iw:Variable "?O"] = :orleans.
                [ iw:Variable "?S"] [ iw:Variable ":twoway"] [ iw:Variable "?O"]} =>
              {:bourges :twoway :orleans}. 
              [ iw:Variable "?X"] = :bourges.
              [ iw:Variable "?O"] = :orleans.
              [ iw:Variable "?X"] :route [ iw:Variable "?O"]} =>
            {:bourges :route :orleans}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl2t1>. 
              :route a owl:TransitiveProperty. 
               {
                <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
                 {[ iw:Variable "?P"] = :twoway.
                  [ iw:Variable "?P"] rdfs:subPropertyOf :route} =>
                {:twoway rdfs:subPropertyOf :route}. 
                 {
                  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
                   {[ iw:Variable "?P"] = :oneway.
                    [ iw:Variable "?P"] rdfs:subPropertyOf :twoway} =>
                  {:oneway rdfs:subPropertyOf :twoway}. 
                   {[ iw:Variable "?S"] = :orleans.
                    [ iw:Variable "?P"] = :oneway.
                    [ iw:Variable "?O"] = :bourges.
                    [ iw:Variable "?S"] [ iw:Variable "?P"] [ iw:Variable "?O"]} =>
                  {:orleans :oneway :bourges}. 
                  [ iw:Variable "?S"] = :orleans.
                  [ iw:Variable ":twoway"] = :twoway.
                  [ iw:Variable "?O"] = :bourges.
                  [ iw:Variable "?S"] [ iw:Variable ":twoway"] [ iw:Variable "?O"]} =>
                {:orleans :twoway :bourges}. 
                [ iw:Variable "?X"] = :orleans.
                [ iw:Variable "?O"] = :bourges.
                [ iw:Variable "?X"] :route [ iw:Variable "?O"]} =>
              {:orleans :route :bourges}. 
               {
                <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
                 {[ iw:Variable "?P"] = :twoway.
                  [ iw:Variable "?P"] rdfs:subPropertyOf :route} =>
                {:twoway rdfs:subPropertyOf :route}. 
                 {
                  <http://www.agfa.com/w3c/euler/owl-rules#owl1s1>. 
                  :twoway a owl:SymmetricProperty. 
                   {
                    <http://www.agfa.com/w3c/euler/owl-rules#owl1s1>. 
                    :twoway a owl:SymmetricProperty. 
                     {
                      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
                       {[ iw:Variable "?P"] = :oneway.
                        [ iw:Variable "?P"] rdfs:subPropertyOf :twoway} =>
                      {:oneway rdfs:subPropertyOf :twoway}. 
                       {[ iw:Variable "?S"] = :parijs.
                        [ iw:Variable "?P"] = :oneway.
                        [ iw:Variable "?O"] = :orleans.
                        [ iw:Variable "?S"] [ iw:Variable "?P"] [ iw:Variable "?O"]} =>
                      {:parijs :oneway :orleans}. 
                      [ iw:Variable "?S"] = :parijs.
                      [ iw:Variable "?O"] = :orleans.
                      [ iw:Variable "?S"] :twoway [ iw:Variable "?O"]} =>
                    {:parijs :twoway :orleans}. 
                    [ iw:Variable "?S"] = :orleans.
                    [ iw:Variable "?O"] = :parijs.
                    [ iw:Variable "?S"] :twoway [ iw:Variable "?O"]} =>
                  {:orleans :twoway :parijs}. 
                  [ iw:Variable "?S"] = :parijs.
                  [ iw:Variable ":twoway"] = :twoway.
                  [ iw:Variable "?O"] = :orleans.
                  [ iw:Variable "?S"] [ iw:Variable ":twoway"] [ iw:Variable "?O"]} =>
                {:parijs :twoway :orleans}. 
                [ iw:Variable "?S"] = :parijs.
                [ iw:Variable "?X"] = :orleans.
                [ iw:Variable "?S"] :route [ iw:Variable "?X"]} =>
              {:parijs :route :orleans}. 
              [ iw:Variable "?S"] = :parijs.
              [ iw:Variable "?X"] = :bourges.
              [ iw:Variable "?S"] :route [ iw:Variable "?X"]} =>
            {:parijs :route :bourges}. 
            [ iw:Variable "?S"] = :parijs.
            [ iw:Variable "?X"] = :orleans.
            [ iw:Variable "?S"] :route [ iw:Variable "?X"]} =>
          {:parijs :route :orleans}. 
          [ iw:Variable "?S"] = :parijs.
          [ iw:Variable "?X"] = :blois.
          [ iw:Variable "?S"] :route [ iw:Variable "?X"]} =>
        {:parijs :route :blois}. 
        [ iw:Variable "?S"] = :parijs.
        [ iw:Variable "?X"] = :tours.
        [ iw:Variable "?S"] :route [ iw:Variable "?X"]} =>
      {:parijs :route :tours}. 
      [ iw:Variable "?S"] = :parijs.
      [ iw:Variable "?X"] = :lemans.
      [ iw:Variable "?S"] :route [ iw:Variable "?X"]} =>
    {:parijs :route :lemans}. 
    [ iw:Variable "?S"] = :parijs.
    [ iw:Variable "?X"] = :angers.
    [ iw:Variable "?S"] :route [ iw:Variable "?X"]} =>
  {:parijs :route :angers}}  =>
{:parijs :route :nantes}. 
<http://www.agfa.com/w3c/euler/graph#path> <http://www.w3.org/2002/07/owl#sameAs> <http://www.agfa.com/w3c/euler/graph#route>.
<http://www.agfa.com/w3c/euler/graph#parijs> <http://www.w3.org/2002/07/owl#sameAs> <http://www.agfa.com/w3c/euler/graph#paris>.
# Proof found for http://www.agfa.com/w3c/euler/graph.lemma.n3 in 2830 steps (70732 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:06 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/gedcom-relations.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/gedcom-facts.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/owl-rules.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/gedcom-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/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom#>.
@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 nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix neg: <http://www.agfa.com/w3c/euler/negation#>.
@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/gedcom#gc19>. 
   {
    <http://www.agfa.com/w3c/euler/gedcom#gc5>. 
     {
      <http://www.agfa.com/w3c/euler/gedcom#gc1>. 
       {[ iw:Variable "?C"] = :Bieke.
        [ iw:Variable "?F"] = :cd.
        [ iw:Variable "?C"] gc:childIn [ iw:Variable "?F"]} =>
      {:Bieke gc:childIn :cd}. 
       {[ iw:Variable "?P"] = :Caroline.
        [ iw:Variable "?F"] = :cd.
        [ iw:Variable "?P"] gc:spouseIn [ iw:Variable "?F"]} =>
      {:Caroline gc:spouseIn :cd}. 
      [ iw:Variable "?C"] = :Bieke.
      [ iw:Variable "?P"] = :Caroline.
      [ iw:Variable "?C"] gc:parent [ iw:Variable "?P"]} =>
    {:Bieke gc:parent :Caroline}. 
     {[ iw:Variable "?C"] = :Bieke.
      [ iw:Variable "?C"] gc:sex :F} =>
    {:Bieke gc:sex :F}. 
    [ iw:Variable "?P"] = :Caroline.
    [ iw:Variable "?C"] = :Bieke.
    [ iw:Variable "?P"] gc:daughter [ iw:Variable "?C"]} =>
  {:Caroline gc:daughter :Bieke}. 
   {
    <http://www.agfa.com/w3c/euler/gedcom#gc11>. 
     {[ iw:Variable "?C"] = :Caroline.
      [ iw:Variable "?F"] = :dp.
      [ iw:Variable "?C"] gc:childIn [ iw:Variable "?F"]} =>
    {:Caroline gc:childIn :dp}. 
     {[ iw:Variable "?C2"] = :Jos.
      [ iw:Variable "?F"] = :dp.
      [ iw:Variable "?C2"] gc:childIn [ iw:Variable "?F"]} =>
    {:Jos gc:childIn :dp}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl1s1>. 
      owl:differentFrom a owl:SymmetricProperty. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl6d1>. 
         {[ iw:Variable "?L"] = _:928546_6.
          [ iw:Variable "?X"] = :Jos.
          [ iw:Variable "?L"] rdf:first [ iw:Variable "?X"]} =>
        {_:928546_6 rdf:first :Jos}. 
         {[ iw:Variable "?L"] = _:928546_6.
          [ iw:Variable "?M"] = _:3261946_6.
          [ iw:Variable "?L"] rdf:rest [ iw:Variable "?M"]} =>
        {_:928546_6 rdf:rest _:3261946_6}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[ iw:Variable "?S"] = _:3261946_6.
            [ iw:Variable "?B"] = _:3976909_6.
            [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
          {_:3261946_6 rdf:rest _:3976909_6}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[ iw:Variable "?S"] = _:3976909_6.
              [ iw:Variable "?B"] = _:7881606_6.
              [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
            {_:3976909_6 rdf:rest _:7881606_6}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[ iw:Variable "?S"] = _:7881606_6.
                [ iw:Variable "?X"] = :Caroline.
                [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
              {_:7881606_6 rdf:first :Caroline}. 
              [ iw:Variable "?B"] = _:7881606_6.
              [ iw:Variable "?X"] = :Caroline.
              [ iw:Variable "?B"] ns:item [ iw:Variable "?X"]} =>
            {_:7881606_6 ns:item :Caroline}. 
            [ iw:Variable "?B"] = _:3976909_6.
            [ iw:Variable "?X"] = :Caroline.
            [ iw:Variable "?B"] ns:item [ iw:Variable "?X"]} =>
          {_:3976909_6 ns:item :Caroline}. 
          [ iw:Variable "?M"] = _:3261946_6.
          [ iw:Variable "?Y"] = :Caroline.
          [ iw:Variable "?M"] ns:item [ iw:Variable "?Y"]} =>
        {_:3261946_6 ns:item :Caroline}. 
         {[ iw:Variable "?A"] = :dp.
          [ iw:Variable "?L"] = _:928546_6.
          [ iw:Variable "?A"] owl:distinctMembers [ iw:Variable "?L"]} =>
        {:dp owl:distinctMembers _:928546_6}. 
        [ iw:Variable "?S"] = :Jos.
        [ iw:Variable "?O"] = :Caroline.
        [ iw:Variable "?S"] owl:differentFrom [ iw:Variable "?O"]} =>
      {:Jos owl:differentFrom :Caroline}. 
      [ iw:Variable "?C"] = :Caroline.
      [ iw:Variable "?C2"] = :Jos.
      [ iw:Variable "?C"] owl:differentFrom [ iw:Variable "?C2"]} =>
    {:Caroline owl:differentFrom :Jos}. 
    [ iw:Variable "?P"] = :Caroline.
    [ iw:Variable "?S"] = :Jos.
    [ iw:Variable "?P"] gc:sibling [ iw:Variable "?S"]} =>
  {:Caroline gc:sibling :Jos}. 
  [ iw:Variable "?X"] = :Bieke.
  :Jos gc:niece [ iw:Variable "?X"]} =>
{:Jos gc:niece :Bieke}. 
 {
  <http://www.agfa.com/w3c/euler/gedcom#gc2>. 
   {
    <http://www.agfa.com/w3c/euler/gedcom#gc1>. 
     {[ iw:Variable "?C"] = :Bieke.
      [ iw:Variable "?F"] = :cd.
      [ iw:Variable "?C"] gc:childIn [ iw:Variable "?F"]} =>
    {:Bieke gc:childIn :cd}. 
     {[ iw:Variable "?P"] = :Hendrik.
      [ iw:Variable "?F"] = :cd.
      [ iw:Variable "?P"] gc:spouseIn [ iw:Variable "?F"]} =>
    {:Hendrik gc:spouseIn :cd}. 
    [ iw:Variable "?C"] = :Bieke.
    [ iw:Variable "?P"] = :Hendrik.
    [ iw:Variable "?C"] gc:parent [ iw:Variable "?P"]} =>
  {:Bieke gc:parent :Hendrik}. 
   {[ iw:Variable "?P"] = :Hendrik.
    [ iw:Variable "?P"] gc:sex :M} =>
  {:Hendrik gc:sex :M}. 
  [ iw:Variable "?X"] = :Bieke.
  [ iw:Variable "?Y"] = :Hendrik.
  [ iw:Variable "?X"] gc:father [ iw:Variable "?Y"]} =>
{:Bieke gc:father :Hendrik}. 
 {
  <http://www.agfa.com/w3c/euler/gedcom#gc14>. 
   {[ iw:Variable "?SP"] = :Hendrik.
    [ iw:Variable "?F"] = :cd.
    [ iw:Variable "?SP"] gc:spouseIn [ iw:Variable "?F"]} =>
  {:Hendrik gc:spouseIn :cd}. 
   {[ iw:Variable "?SP2"] = :Caroline.
    [ iw:Variable "?F"] = :cd.
    [ iw:Variable "?SP2"] gc:spouseIn [ iw:Variable "?F"]} =>
  {:Caroline gc:spouseIn :cd}. 
   {[ iw:Variable "?SP"] = :Hendrik.
    [ iw:Variable "?SP2"] = :Caroline.
    [ iw:Variable "?SP"] owl:differentFrom [ iw:Variable "?SP2"]} =>
  {:Hendrik owl:differentFrom :Caroline}. 
  [ iw:Variable "?Y"] = :Hendrik.
  [ iw:Variable "?Y"] gc:spouse :Caroline} =>
{:Hendrik gc:spouse :Caroline}. 
# Proof found for http://www.agfa.com/w3c/euler/gedcom-query.n3 in 469522 steps (104430 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:11 GMT
{
 (
 <http://www.agfa.com/w3c/euler/danc.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/danc-query.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/danc#>.

 {[ iw:Variable "_:x_10"] = _:3045408_9.
  [ iw:Variable "_:y_10"] = _:5277235_9.
  [ iw:Variable "_:x_10"] :includes [ iw:Variable "_:y_10"]} =>
{_:3045408_9 :includes _:5277235_9}. 
 {[ iw:Variable "_:x_10"] = _:3668766_9.
  [ iw:Variable "_:y_10"] = _:4693995_9.
  [ iw:Variable "_:x_10"] :includes [ iw:Variable "_:y_10"]} =>
{_:3668766_9 :includes _:4693995_9}. 
 {[ iw:Variable "_:x_10"] = _:5378748_9.
  [ iw:Variable "_:y_10"] = _:4985091_9.
  [ iw:Variable "_:x_10"] :includes [ iw:Variable "_:y_10"]} =>
{_:5378748_9 :includes _:4985091_9}. 
 {[ iw:Variable "_:x_10"] = _:2314917_9.
  [ iw:Variable "_:y_10"] = _:458278_9.
  [ iw:Variable "_:x_10"] :includes [ iw:Variable "_:y_10"]} =>
{_:2314917_9 :includes _:458278_9}. 
 {[ iw:Variable "_:x_10"] = _:6968945_9.
  [ iw:Variable "_:y_10"] = _:5329989_9.
  [ iw:Variable "_:x_10"] :includes [ iw:Variable "_:y_10"]} =>
{_:6968945_9 :includes _:5329989_9}. 
 {[ iw:Variable "_:x_10"] = _:3796698_9.
  [ iw:Variable "_:y_10"] = _:7359402_9.
  [ iw:Variable "_:x_10"] :includes [ iw:Variable "_:y_10"]} =>
{_:3796698_9 :includes _:7359402_9}. 
_:1741620_9 <http://www.w3.org/2002/07/owl#sameAs> <http://www.agfa.com/w3c/euler/danc#Cambridge>.
# Proof found for http://www.agfa.com/w3c/euler/danc-query.n3 in 6 steps (600000 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:11 GMT
{
 (
 <http://www.agfa.com/w3c/euler/ziv.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/ziv-query.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/ziv#>.

 {[ iw:Variable "?R"] = :rec010.
  [ iw:Variable "?R"] :year 2001} =>
{:rec010 :year 2001}. 
 {[ iw:Variable "?R"] = :rec010.
  [ iw:Variable "?R"] :month "May"} =>
{:rec010 :month "May"}. 
 {[ iw:Variable "?R"] = :rec010.
  [ iw:Variable "?c"] = "Tel Aviv".
  [ iw:Variable "?R"] :city [ iw:Variable "?c"]} =>
{:rec010 :city "Tel Aviv"}. 
 {[ iw:Variable "?R"] = :rec010.
  [ iw:Variable "?f"] = "Pokemon 2".
  [ iw:Variable "?R"] :film [ iw:Variable "?f"]} =>
{:rec010 :film "Pokemon 2"}. 
 {[ iw:Variable "?R"] = :rec010.
  [ iw:Variable "?R"] :cinema "Globus"} =>
{:rec010 :cinema "Globus"}. 
 {[ iw:Variable "?R"] = :rec011.
  [ iw:Variable "?R"] :year 2001} =>
{:rec011 :year 2001}. 
 {[ iw:Variable "?R"] = :rec011.
  [ iw:Variable "?R"] :month "May"} =>
{:rec011 :month "May"}. 
 {[ iw:Variable "?R"] = :rec011.
  [ iw:Variable "?c"] = "Tel Aviv".
  [ iw:Variable "?R"] :city [ iw:Variable "?c"]} =>
{:rec011 :city "Tel Aviv"}. 
 {[ iw:Variable "?R"] = :rec011.
  [ iw:Variable "?f"] = "Billy Elliot".
  [ iw:Variable "?R"] :film [ iw:Variable "?f"]} =>
{:rec011 :film "Billy Elliot"}. 
 {[ iw:Variable "?R"] = :rec011.
  [ iw:Variable "?R"] :cinema "Globus"} =>
{:rec011 :cinema "Globus"}. 
 {[ iw:Variable "?R"] = :rec012.
  [ iw:Variable "?R"] :year 2001} =>
{:rec012 :year 2001}. 
 {[ iw:Variable "?R"] = :rec012.
  [ iw:Variable "?R"] :month "May"} =>
{:rec012 :month "May"}. 
 {[ iw:Variable "?R"] = :rec012.
  [ iw:Variable "?c"] = "Tel Aviv".
  [ iw:Variable "?R"] :city [ iw:Variable "?c"]} =>
{:rec012 :city "Tel Aviv"}. 
 {[ iw:Variable "?R"] = :rec012.
  [ iw:Variable "?f"] = "The Mummy".
  [ iw:Variable "?R"] :film [ iw:Variable "?f"]} =>
{:rec012 :film "The Mummy"}. 
 {[ iw:Variable "?R"] = :rec012.
  [ iw:Variable "?R"] :cinema "Globus"} =>
{:rec012 :cinema "Globus"}. 
 {[ iw:Variable "?R"] = :rec017.
  [ iw:Variable "?R"] :year 2001} =>
{:rec017 :year 2001}. 
 {[ iw:Variable "?R"] = :rec017.
  [ iw:Variable "?R"] :month "May"} =>
{:rec017 :month "May"}. 
 {[ iw:Variable "?R"] = :rec017.
  [ iw:Variable "?c"] = "Jerusalem".
  [ iw:Variable "?R"] :city [ iw:Variable "?c"]} =>
{:rec017 :city "Jerusalem"}. 
 {[ iw:Variable "?R"] = :rec017.
  [ iw:Variable "?f"] = "A Hard Day's Night".
  [ iw:Variable "?R"] :film [ iw:Variable "?f"]} =>
{:rec017 :film "A Hard Day's Night"}. 
 {[ iw:Variable "?R"] = :rec017.
  [ iw:Variable "?R"] :cinema "Globus"} =>
{:rec017 :cinema "Globus"}. 
 {[ iw:Variable "?R"] = :rec018.
  [ iw:Variable "?R"] :year 2001} =>
{:rec018 :year 2001}. 
 {[ iw:Variable "?R"] = :rec018.
  [ iw:Variable "?R"] :month "May"} =>
{:rec018 :month "May"}. 
 {[ iw:Variable "?R"] = :rec018.
  [ iw:Variable "?c"] = "Jerusalem".
  [ iw:Variable "?R"] :city [ iw:Variable "?c"]} =>
{:rec018 :city "Jerusalem"}. 
 {[ iw:Variable "?R"] = :rec018.
  [ iw:Variable "?f"] = "15 Minutes".
  [ iw:Variable "?R"] :film [ iw:Variable "?f"]} =>
{:rec018 :film "15 Minutes"}. 
 {[ iw:Variable "?R"] = :rec018.
  [ iw:Variable "?R"] :cinema "Globus"} =>
{:rec018 :cinema "Globus"}. 
# Proof found for http://www.agfa.com/w3c/euler/ziv-query.n3 in 828 steps (82717 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:11 GMT
{
 (
 <http://www.agfa.com/w3c/euler/danb.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/danb-query.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix web: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/danb#>.

 {[ iw:Variable "_:2058011_12"] = _:2913640_11.
  [ iw:Variable "_:hp_12"] = <http://megacorp.example.com/>.
  [ iw:Variable "_:2058011_12"] agg:corporateHomepage [ iw:Variable "_:hp_12"]} =>
{_:2913640_11 agg:corporateHomepage <http://megacorp.example.com/>}. 
 {[ iw:Variable "_:2058011_12"] = _:2913640_11.
  [ iw:Variable "_:2766739_12"] = _:5245364_11.
  [ iw:Variable "_:2058011_12"] agg:owner [ iw:Variable "_:2766739_12"]} =>
{_:2913640_11 agg:owner _:5245364_11}. 
 {[ iw:Variable "_:2766739_12"] = _:5245364_11.
  [ iw:Variable "_:mb_12"] = <mailto:mega@megacorp.example.com>.
  [ iw:Variable "_:2766739_12"] agg:personalMailbox [ iw:Variable "_:mb_12"]} =>
{_:5245364_11 agg:personalMailbox <mailto:mega@megacorp.example.com>}. 
 {[ iw:Variable "_:2544926_12"] = _:2954665_11.
  [ iw:Variable "_:mb_12"] = <mailto:mega@megacorp.example.com>.
  [ iw:Variable "_:2544926_12"] agg:personalMailbox [ iw:Variable "_:mb_12"]} =>
{_:2954665_11 agg:personalMailbox <mailto:mega@megacorp.example.com>}. 
 {[ iw:Variable "_:2544926_12"] = _:2954665_11.
  [ iw:Variable "_:ti_12"] = _:6889309_11.
  [ iw:Variable "_:2544926_12"] agg:technologyInterest [ iw:Variable "_:ti_12"]} =>
{_:2954665_11 agg:technologyInterest _:6889309_11}. 
 {[ iw:Variable "_:7453560_12"] = _:670500_11.
  [ iw:Variable "_:hp_12"] = <http://megacorp.example.com/>.
  [ iw:Variable "_:7453560_12"] agg:corporateHomepage [ iw:Variable "_:hp_12"]} =>
{_:670500_11 agg:corporateHomepage <http://megacorp.example.com/>}. 
 {[ iw:Variable "_:7453560_12"] = _:670500_11.
  [ iw:Variable "_:7453560_12"] agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>} =>
{_:670500_11 agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>}. 
 {[ iw:Variable "_:2058011_12"] = _:2913640_11.
  [ iw:Variable "_:2058011_12"] a agg:Company} =>
{_:2913640_11 a agg:Company}. 
 {[ iw:Variable "_:2766739_12"] = _:5245364_11.
  [ iw:Variable "_:2766739_12"] a agg:Person} =>
{_:5245364_11 a agg:Person}. 
 {[ iw:Variable "_:2544926_12"] = _:2954665_11.
  [ iw:Variable "_:2544926_12"] a agg:User} =>
{_:2954665_11 a agg:User}. 
 {[ iw:Variable "_:7453560_12"] = _:670500_11.
  [ iw:Variable "_:7453560_12"] a agg:Organisation} =>
{_:670500_11 a agg:Organisation}. 
 {[ iw:Variable "_:2058011_12"] = _:3198607_11.
  [ iw:Variable "_:hp_12"] = <http://gigacorp.example.com/>.
  [ iw:Variable "_:2058011_12"] agg:corporateHomepage [ iw:Variable "_:hp_12"]} =>
{_:3198607_11 agg:corporateHomepage <http://gigacorp.example.com/>}. 
 {[ iw:Variable "_:2058011_12"] = _:3198607_11.
  [ iw:Variable "_:2766739_12"] = _:4793653_11.
  [ iw:Variable "_:2058011_12"] agg:owner [ iw:Variable "_:2766739_12"]} =>
{_:3198607_11 agg:owner _:4793653_11}. 
 {[ iw:Variable "_:2766739_12"] = _:4793653_11.
  [ iw:Variable "_:mb_12"] = <mailto:giga@gigacorp.example.com>.
  [ iw:Variable "_:2766739_12"] agg:personalMailbox [ iw:Variable "_:mb_12"]} =>
{_:4793653_11 agg:personalMailbox <mailto:giga@gigacorp.example.com>}. 
 {[ iw:Variable "_:2544926_12"] = _:2736286_11.
  [ iw:Variable "_:mb_12"] = <mailto:giga@gigacorp.example.com>.
  [ iw:Variable "_:2544926_12"] agg:personalMailbox [ iw:Variable "_:mb_12"]} =>
{_:2736286_11 agg:personalMailbox <mailto:giga@gigacorp.example.com>}. 
 {[ iw:Variable "_:2544926_12"] = _:2736286_11.
  [ iw:Variable "_:ti_12"] = _:2418499_11.
  [ iw:Variable "_:2544926_12"] agg:technologyInterest [ iw:Variable "_:ti_12"]} =>
{_:2736286_11 agg:technologyInterest _:2418499_11}. 
 {[ iw:Variable "_:7453560_12"] = _:4909906_11.
  [ iw:Variable "_:hp_12"] = <http://gigacorp.example.com/>.
  [ iw:Variable "_:7453560_12"] agg:corporateHomepage [ iw:Variable "_:hp_12"]} =>
{_:4909906_11 agg:corporateHomepage <http://gigacorp.example.com/>}. 
 {[ iw:Variable "_:7453560_12"] = _:4909906_11.
  [ iw:Variable "_:7453560_12"] agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>} =>
{_:4909906_11 agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>}. 
 {[ iw:Variable "_:2058011_12"] = _:3198607_11.
  [ iw:Variable "_:2058011_12"] a agg:Company} =>
{_:3198607_11 a agg:Company}. 
 {[ iw:Variable "_:2766739_12"] = _:4793653_11.
  [ iw:Variable "_:2766739_12"] a agg:Person} =>
{_:4793653_11 a agg:Person}. 
 {[ iw:Variable "_:2544926_12"] = _:2736286_11.
  [ iw:Variable "_:2544926_12"] a agg:User} =>
{_:2736286_11 a agg:User}. 
 {[ iw:Variable "_:7453560_12"] = _:4909906_11.
  [ iw:Variable "_:7453560_12"] a agg:Organisation} =>
{_:4909906_11 a agg:Organisation}. 
# Proof found for http://www.agfa.com/w3c/euler/danb-query.n3 in 124 steps (12400000 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:11 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/owl-rules.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/test.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/test-test.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/owl-rules#>.
@prefix foo: <http://www.agfa.com/w3c/euler/test#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/test#>.
@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 nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix neg: <http://www.agfa.com/w3c/euler/negation#>.
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

:a :b :c. 
:a :d :e. 
:f :g :i. 
:a :b :c. 
:a :d :f. 
:a :b :c. 
:a :b :d. 
:a :b :e. 
 {[ iw:Variable "_:5515893_15"] = _:1673361_12.
  [ iw:Variable "_:5515893_15"] :c :d} =>
{_:1673361_12 :c :d}. 
 {[ iw:Variable "_:5515893_15"] = _:1673361_12.
  [ iw:Variable "_:5515893_15"] :a :b} =>
{_:1673361_12 :a :b}. 
 {[ iw:Variable "_:3119422_15"] = _:5578111_12.
  :a :b [ iw:Variable "_:3119422_15"]} =>
{:a :b _:5578111_12}. 
 {[ iw:Variable "_:3119422_15"] = _:5578111_12.
  [ iw:Variable "_:3119422_15"] :c :d} =>
{_:5578111_12 :c :d}. 
:b :e :f. 
:c :e :f. 
 {[ iw:Variable "_:7726332_15"] = _:230057_12.
  [ iw:Variable "_:7726332_15"] :g :h} =>
{_:230057_12 :g :h}. 
 {[ iw:Variable "_:7726332_15"] = _:230057_12.
  [ iw:Variable "_:7726332_15"] :a :b} =>
{_:230057_12 :a :b}. 
 {[ iw:Variable "_:7726332_15"] = _:230057_12.
  [ iw:Variable "_:7726332_15"] :c :d} =>
{_:230057_12 :c :d}. 
 {[ iw:Variable "_:7726332_15"] = _:230057_12.
  [ iw:Variable "_:7726332_15"] :e :f} =>
{_:230057_12 :e :f}. 
 {[ iw:Variable "_:811720_15"] = _:7808452_12.
  [ iw:Variable "_:811720_15"] :g :h} =>
{_:7808452_12 :g :h}. 
 {[ iw:Variable "_:811720_15"] = _:7808452_12.
  [ iw:Variable "_:2703539_15"] = _:5270980_12.
  [ iw:Variable "_:811720_15"] :a [ iw:Variable "_:2703539_15"]} =>
{_:7808452_12 :a _:5270980_12}. 
 {[ iw:Variable "_:2703539_15"] = _:5270980_12.
  [ iw:Variable "_:2703539_15"] :b :c} =>
{_:5270980_12 :b :c}. 
 {[ iw:Variable "_:811720_15"] = _:7808452_12.
  [ iw:Variable "_:5682873_15"] = _:5661602_12.
  [ iw:Variable "_:811720_15"] :d [ iw:Variable "_:5682873_15"]} =>
{_:7808452_12 :d _:5661602_12}. 
 {[ iw:Variable "_:5682873_15"] = _:5661602_12.
  [ iw:Variable "_:5682873_15"] :e :f} =>
{_:5661602_12 :e :f}. 
 {[ iw:Variable "_:7761151_15"] = _:2580990_12.
  [ iw:Variable "_:7761151_15"] :e :f} =>
{_:2580990_12 :e :f}. 
 {[ iw:Variable "_:7761151_15"] = _:2580990_12.
  [ iw:Variable "_:7201948_15"] = _:1207047_12.
  [ iw:Variable "_:7761151_15"] :a [ iw:Variable "_:7201948_15"]} =>
{_:2580990_12 :a _:1207047_12}. 
 {[ iw:Variable "_:7201948_15"] = _:1207047_12.
  [ iw:Variable "_:3928522_15"] = _:3199106_12.
  [ iw:Variable "_:7201948_15"] :b [ iw:Variable "_:3928522_15"]} =>
{_:1207047_12 :b _:3199106_12}. 
 {[ iw:Variable "_:3928522_15"] = _:3199106_12.
  [ iw:Variable "_:3928522_15"] :c :d} =>
{_:3199106_12 :c :d}. 
 {[ iw:Variable "_:8326622_15"] = _:1673361_12.
  [ iw:Variable "_:8326622_15"] :a :b} =>
{_:1673361_12 :a :b}. 
 {[ iw:Variable "_:6787014_15"] = _:229902_12.
  [ iw:Variable "_:1053751_15"] = _:5210326_12.
  [ iw:Variable "_:6787014_15"] :c [ iw:Variable "_:1053751_15"]} =>
{_:229902_12 :c _:5210326_12}. 
 {[ iw:Variable "_:1053751_15"] = _:5210326_12.
  [ iw:Variable "_:1053751_15"] :d :e} =>
{_:5210326_12 :d :e}. 
 {[ iw:Variable "_:6787014_15"] = _:229902_12.
  [ iw:Variable "_:6787014_15"] :a :b} =>
{_:229902_12 :a :b}. 
:c :b :a. 
:c :b :a. 
:a.:d:c :b :a. 
:a :d :e. 
:a :b "c". 
:a :b "ok"@fr. 
:a :b """c d""". 
:a :c "10"^^<http://www.w3.org/2001/XMLSchema#int>. 
:a :c "bleu"@fr^^<http://example.org/mycolourspace>. 
:a :c "blue"@en-US^^<http://example.org/mycolourspace>. 
:a :c "10"^^xsd:int. 
:a :c "bleu"@fr^^:mycolourspace. 
:a :x "blue"@en-US^^_:x_12. 
 {[ iw:Variable "_:2056742_15"] = _:4067082_12.
  :jos :spouse [ iw:Variable "_:2056742_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:2056742_15"] = _:4067082_12.
  :jos :spouse [ iw:Variable "_:2056742_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:6613606_15"] = _:4067082_12.
  :jos :spouse [ iw:Variable "_:6613606_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:6613606_15"] = _:4067082_12.
  [ iw:Variable "_:6613606_15"] :firstName :mary} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:7971559_15"] = :jos.
  [ iw:Variable "_:3539584_15"] = _:4067082_12.
  [ iw:Variable "_:7971559_15"] :spouse [ iw:Variable "_:3539584_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:3539584_15"] = _:4067082_12.
  :jos :spouse [ iw:Variable "_:3539584_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:7971559_15"] = :jos.
  [ iw:Variable "_:5831123_15"] = _:4067082_12.
  [ iw:Variable "_:7971559_15"] :spouse [ iw:Variable "_:5831123_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:5831123_15"] = _:4067082_12.
  [ iw:Variable "_:5831123_15"] :firstName :mary} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:4871666_15"] = :jos.
  [ iw:Variable "_:5280753_15"] = _:4067082_12.
  [ iw:Variable "_:4871666_15"] :spouse [ iw:Variable "_:5280753_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:5280753_15"] = _:4067082_12.
  [ iw:Variable "_:5280753_15"] :firstName :mary} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:4871666_15"] = :jos.
  [ iw:Variable "_:6182315_15"] = _:4067082_12.
  [ iw:Variable "_:4871666_15"] :spouse [ iw:Variable "_:6182315_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:6182315_15"] = _:4067082_12.
  [ iw:Variable "_:6182315_15"] :firstName :mary} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:2146092_15"] = _:4067082_12.
  [ iw:Variable "_:2146092_15"] :firstName :mary} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:2146092_15"] = _:4067082_12.
  :jos :spouse [ iw:Variable "_:2146092_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:6748114_15"] = _:4067082_12.
  [ iw:Variable "_:4067003_15"] = :mary.
  [ iw:Variable "_:6748114_15"] :firstName [ iw:Variable "_:4067003_15"]} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:1586925_15"] = _:4067082_12.
  [ iw:Variable "_:4067003_15"] = :mary.
  [ iw:Variable "_:1586925_15"] :firstName [ iw:Variable "_:4067003_15"]} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:1586925_15"] = _:4067082_12.
  :jos :spouse [ iw:Variable "_:1586925_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:6748114_15"] = _:4067082_12.
  :jos :spouse [ iw:Variable "_:6748114_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:3753023_15"] = _:4067082_12.
  [ iw:Variable "_:3753023_15"] :firstName :mary} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:3753023_15"] = _:4067082_12.
  [ iw:Variable "_:3753023_15"] :firstName :mary} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:3124805_15"] = _:4067082_12.
  [ iw:Variable "_:990590_15"] = :mary.
  [ iw:Variable "_:3124805_15"] :firstName [ iw:Variable "_:990590_15"]} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:5917553_15"] = _:4067082_12.
  [ iw:Variable "_:990590_15"] = :mary.
  [ iw:Variable "_:5917553_15"] :firstName [ iw:Variable "_:990590_15"]} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:5917553_15"] = _:4067082_12.
  :jos :spouse [ iw:Variable "_:5917553_15"]} =>
{:jos :spouse _:4067082_12}. 
 {[ iw:Variable "_:3124805_15"] = _:4067082_12.
  [ iw:Variable "_:3124805_15"] :firstName :mary} =>
{_:4067082_12 :firstName :mary}. 
 {[ iw:Variable "_:5858829_15"] = _:326392_12.
  :x :p [ iw:Variable "_:5858829_15"]} =>
{:x :p _:326392_12}. 
 {[ iw:Variable "_:5858829_15"] = _:326392_12.
  [ iw:Variable "_:5858829_15"] :q :z} =>
{_:326392_12 :q :z}. 
_:7579563_12 <http://www.w3.org/2002/07/owl#sameAs> _:326392_12.
# Proof found for http://www.agfa.com/w3c/euler/test-test.n3 in 1324 steps (22062 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:11 GMT
{
 (
 <http://www.agfa.com/w3c/euler/animal.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/animal-simple.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.

 {[ iw:Variable "_:a_16"] = _:2380520_15.
  <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.daml.org/2000/12/daml+oil#restrictedBy> [ iw:Variable "_:a_16"]} =>
{<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.daml.org/2000/12/daml+oil#restrictedBy> _:2380520_15}. 
 {[ iw:Variable "_:a_16"] = _:2380520_15.
  [ iw:Variable "_:a_16"] <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>} =>
{_:2380520_15 <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>}. 
 {[ iw:Variable "_:a_16"] = _:2380520_15.
  [ iw:Variable "_:a_16"] <http://www.daml.org/2000/12/daml+oil#cardinality> "2"} =>
{_:2380520_15 <http://www.daml.org/2000/12/daml+oil#cardinality> "2"}. 
<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/2000/01/rdf-schema#label> "Animal". 
<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>. 
 {[ iw:Variable "_:a_16"] = _:2380520_15.
  [ iw:Variable "_:a_16"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>} =>
{_:2380520_15 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>}. 
# Proof found for http://www.agfa.com/w3c/euler/animal-simple.n3 in 7 steps (700000 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:11 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/subprop.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/subprop-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/subprop#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@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#rdfs7>. 
   {[ iw:Variable "?P"] = :husband.
    [ iw:Variable "?P"] rdfs:subPropertyOf :spouse} =>
  {:husband rdfs:subPropertyOf :spouse}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
     {[ iw:Variable "?P"] = :firstHusband.
      [ iw:Variable "?P"] rdfs:subPropertyOf :husband} =>
    {:firstHusband rdfs:subPropertyOf :husband}. 
     {[ iw:Variable "?S"] = :Mary.
      [ iw:Variable "?P"] = :firstHusband.
      [ iw:Variable "?O"] = :Dan.
      [ iw:Variable "?S"] [ iw:Variable "?P"] [ iw:Variable "?O"]} =>
    {:Mary :firstHusband :Dan}. 
    [ iw:Variable "?S"] = :Mary.
    [ iw:Variable "?P"] = :husband.
    [ iw:Variable "?O"] = :Dan.
    [ iw:Variable "?S"] [ iw:Variable "?P"] [ iw:Variable "?O"]} =>
  {:Mary :husband :Dan}. 
  [ iw:Variable "_:x_18"] = :Mary.
  [ iw:Variable "_:y_18"] = :Dan.
  [ iw:Variable "_:x_18"] :spouse [ iw:Variable "_:y_18"]} =>
{:Mary :spouse :Dan}. 
# Proof found for http://www.agfa.com/w3c/euler/subprop-query.n3 in 6 steps (600000 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:11 GMT
{
 (
 <http://www.agfa.com/w3c/euler/subclass.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/rdfs-rules.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/subclass-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/subclass#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
@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#rdfs9>. 
   {[ iw:Variable "?A"] = :B.
    [ iw:Variable "?B"] = :A.
    [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
  {:B rdfs:subClassOf :A}. 
   {[ iw:Variable "?S"] = :i.
    [ iw:Variable "?A"] = :B.
    [ iw:Variable "?S"] a [ iw:Variable "?A"]} =>
  {:i a :B}}  =>
{:i a :A}. 
# Proof found for http://www.agfa.com/w3c/euler/subclass-query.n3 in 48 steps (4800000 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:11 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 (135596 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:12 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/owl-facts.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/owl-rules.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/owl-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/owl-rules#>.
@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 neg: <http://www.agfa.com/w3c/euler/negation#>.
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


:j owl:sameAs :i. 
:o owl:sameAs :m. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl8s1>. 
   {[ iw:Variable "?B"] = :y.
    [ iw:Variable "?Y"] = _:1671381_22.
    [ iw:Variable "?B"] owl:intersectionOf [ iw:Variable "?Y"]} =>
  {:y owl:intersectionOf _:1671381_22}. 
   {[ iw:Variable "?A"] = :x.
    [ iw:Variable "?X"] = _:2804837_22.
    [ iw:Variable "?A"] owl:intersectionOf [ iw:Variable "?X"]} =>
  {:x owl:intersectionOf _:2804837_22}. 
   {
    <http://www.agfa.com/w3c/euler/owl-rules#owl41i2>. 
     {[ iw:Variable "?S"] = _:1671381_22.
      [ iw:Variable "?A"] = :b.
      [ iw:Variable "?S"] rdf:first [ iw:Variable "?A"]} =>
    {_:1671381_22 rdf:first :b}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
       {[ iw:Variable "?S"] = _:2804837_22.
        [ iw:Variable "?B"] = _:5311068_22.
        [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
      {_:2804837_22 rdf:rest _:5311068_22}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
         {[ iw:Variable "?S"] = _:5311068_22.
          [ iw:Variable "?X"] = :b.
          [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
        {_:5311068_22 rdf:first :b}. 
        [ iw:Variable "?B"] = _:5311068_22.
        [ iw:Variable "?X"] = :b.
        [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
      {_:5311068_22 :item :b}. 
      [ iw:Variable "?X"] = _:2804837_22.
      [ iw:Variable "?A"] = :b.
      [ iw:Variable "?X"] :item [ iw:Variable "?A"]} =>
    {_:2804837_22 :item :b}. 
     {[ iw:Variable "?S"] = _:1671381_22.
      [ iw:Variable "?B"] = _:5854354_22.
      [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
    {_:1671381_22 rdf:rest _:5854354_22}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl41i2>. 
       {[ iw:Variable "?S"] = _:5854354_22.
        [ iw:Variable "?A"] = :c.
        [ iw:Variable "?S"] rdf:first [ iw:Variable "?A"]} =>
      {_:5854354_22 rdf:first :c}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
         {[ iw:Variable "?S"] = _:2804837_22.
          [ iw:Variable "?B"] = _:5311068_22.
          [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
        {_:2804837_22 rdf:rest _:5311068_22}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[ iw:Variable "?S"] = _:5311068_22.
            [ iw:Variable "?B"] = _:8332307_22.
            [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
          {_:5311068_22 rdf:rest _:8332307_22}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
             {[ iw:Variable "?S"] = _:8332307_22.
              [ iw:Variable "?X"] = :c.
              [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
            {_:8332307_22 rdf:first :c}. 
            [ iw:Variable "?B"] = _:8332307_22.
            [ iw:Variable "?X"] = :c.
            [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
          {_:8332307_22 :item :c}. 
          [ iw:Variable "?B"] = _:5311068_22.
          [ iw:Variable "?X"] = :c.
          [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
        {_:5311068_22 :item :c}. 
        [ iw:Variable "?X"] = _:2804837_22.
        [ iw:Variable "?A"] = :c.
        [ iw:Variable "?X"] :item [ iw:Variable "?A"]} =>
      {_:2804837_22 :item :c}. 
       {[ iw:Variable "?S"] = _:5854354_22.
        [ iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>.
        [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
      {_:5854354_22 rdf:rest <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl41i1>. 
        [ iw:Variable "?X"] = _:2804837_22.
        [ iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>.
        [ iw:Variable "?X"] :includes [ iw:Variable "?B"]} =>
      {_:2804837_22 :includes <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
      [ iw:Variable "?X"] = _:2804837_22.
      [ iw:Variable "?B"] = _:5854354_22.
      [ iw:Variable "?X"] :includes [ iw:Variable "?B"]} =>
    {_:2804837_22 :includes _:5854354_22}. 
    [ iw:Variable "?X"] = _:2804837_22.
    [ iw:Variable "?Y"] = _:1671381_22.
    [ iw:Variable "?X"] :includes [ iw:Variable "?Y"]} =>
  {_:2804837_22 :includes _:1671381_22}}  =>
{:x rdfs:subClassOf :y}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl8c1>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs11>. 
     {[ iw:Variable "?B"] = :test43.
      [ iw:Variable "?C"] = :test34.
      [ iw:Variable "?B"] rdfs:subClassOf [ iw:Variable "?C"]} =>
    {:test43 rdfs:subClassOf :test34}. 
     {[ iw:Variable "?A"] = :test46.
      [ iw:Variable "?B"] = :test43.
      [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
    {:test46 rdfs:subClassOf :test43}. 
    [ iw:Variable "?A"] = :test46.
    [ iw:Variable "?B"] = :test34.
    [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
  {:test46 rdfs:subClassOf :test34}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs11>. 
     {[ iw:Variable "?B"] = :test43.
      [ iw:Variable "?C"] = :test46.
      [ iw:Variable "?B"] rdfs:subClassOf [ iw:Variable "?C"]} =>
    {:test43 rdfs:subClassOf :test46}. 
     {[ iw:Variable "?A"] = :test34.
      [ iw:Variable "?B"] = :test43.
      [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
    {:test34 rdfs:subClassOf :test43}. 
    [ iw:Variable "?B"] = :test34.
    [ iw:Variable "?A"] = :test46.
    [ iw:Variable "?B"] rdfs:subClassOf [ iw:Variable "?A"]} =>
  {:test34 rdfs:subClassOf :test46}}  =>
{:test46 owl:equivalentClass :test34}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl3r1>. 
   {[ iw:Variable "?R"] = :R2.
    [ iw:Variable "?R"] owl:onProperty :p2} =>
  {:R2 owl:onProperty :p2}. 
   {[ iw:Variable "?R"] = :R2.
    [ iw:Variable "?Y"] = :y2.
    [ iw:Variable "?R"] owl:hasValue [ iw:Variable "?Y"]} =>
  {:R2 owl:hasValue :y2}. 
   {[ iw:Variable "?X"] = :x2.
    [ iw:Variable "?R"] = :R2.
    [ iw:Variable "?X"] a [ iw:Variable "?R"]} =>
  {:x2 a :R2}}  =>
{:x2 :p2 :y2}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl8c1>. 
   {[ iw:Variable "?A"] = :Automobile.
    [ iw:Variable "?B"] = :Car.
    [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
  {:Automobile rdfs:subClassOf :Car}. 
   {[ iw:Variable "?B"] = :Car.
    [ iw:Variable "?A"] = :Automobile.
    [ iw:Variable "?B"] rdfs:subClassOf [ iw:Variable "?A"]} =>
  {:Car rdfs:subClassOf :Automobile}}  =>
{:Automobile owl:equivalentClass :Car}. 
 {[ iw:Variable "_:63852_26"] = _:63852_26.
  [ iw:Variable "_:7812797_26"] = _:7812797_26.
  [ iw:Variable "_:63852_26"] owl:oneOf [ iw:Variable "_:7812797_26"]} =>
{_:63852_26 owl:oneOf _:7812797_26}. 
 {[ iw:Variable "_:7812797_26"] = _:7812797_26.
  [ iw:Variable "_:7812797_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :d} =>
{_:7812797_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :d}. 
 {[ iw:Variable "_:7812797_26"] = _:7812797_26.
  [ iw:Variable "_:2808983_26"] = _:2808983_26.
  [ iw:Variable "_:7812797_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> [ iw:Variable "_:2808983_26"]} =>
{_:7812797_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:2808983_26}. 
 {[ iw:Variable "_:2808983_26"] = _:2808983_26.
  [ iw:Variable "_:2808983_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :c} =>
{_:2808983_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :c}. 
 {[ iw:Variable "_:2808983_26"] = _:2808983_26.
  [ iw:Variable "_:7882253_26"] = _:7882253_26.
  [ iw:Variable "_:2808983_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> [ iw:Variable "_:7882253_26"]} =>
{_:2808983_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:7882253_26}. 
 {[ iw:Variable "_:7882253_26"] = _:7882253_26.
  [ iw:Variable "_:7882253_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :b} =>
{_:7882253_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :b}. 
 {[ iw:Variable "_:7882253_26"] = _:7882253_26.
  [ iw:Variable "_:4137231_26"] = _:4137231_26.
  [ iw:Variable "_:7882253_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> [ iw:Variable "_:4137231_26"]} =>
{_:7882253_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:4137231_26}. 
 {[ iw:Variable "_:4137231_26"] = _:4137231_26.
  [ iw:Variable "_:4137231_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :a} =>
{_:4137231_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :a}. 
 {[ iw:Variable "_:4137231_26"] = _:4137231_26.
  [ iw:Variable "_:4137231_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>} =>
{_:4137231_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
 {[ iw:Variable "_:1278009_26"] = _:1278009_26.
  [ iw:Variable "_:4670443_26"] = _:4670443_26.
  [ iw:Variable "_:1278009_26"] owl:intersectionOf [ iw:Variable "_:4670443_26"]} =>
{_:1278009_26 owl:intersectionOf _:4670443_26}. 
 {[ iw:Variable "_:4670443_26"] = _:4670443_26.
  [ iw:Variable "_:4670443_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :C} =>
{_:4670443_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :C}. 
 {[ iw:Variable "_:4670443_26"] = _:4670443_26.
  [ iw:Variable "_:3945515_26"] = _:3945515_26.
  [ iw:Variable "_:4670443_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> [ iw:Variable "_:3945515_26"]} =>
{_:4670443_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:3945515_26}. 
 {[ iw:Variable "_:3945515_26"] = _:3945515_26.
  [ iw:Variable "_:3945515_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :X} =>
{_:3945515_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :X}. 
 {[ iw:Variable "_:3945515_26"] = _:3945515_26.
  [ iw:Variable "_:340152_26"] = _:340152_26.
  [ iw:Variable "_:3945515_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> [ iw:Variable "_:340152_26"]} =>
{_:3945515_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:340152_26}. 
 {[ iw:Variable "_:340152_26"] = _:340152_26.
  [ iw:Variable "_:340152_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :A} =>
{_:340152_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :A}. 
 {[ iw:Variable "_:340152_26"] = _:340152_26.
  [ iw:Variable "_:340152_26"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>} =>
{_:340152_26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl9o1>. 
   {[ iw:Variable "?C"] = :H.
    [ iw:Variable "?L"] = _:2546668_22.
    [ iw:Variable "?C"] owl:oneOf [ iw:Variable "?L"]} =>
  {:H owl:oneOf _:2546668_22}. 
   {
    <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
     {[ iw:Variable "?S"] = _:2546668_22.
      [ iw:Variable "?B"] = _:3186311_22.
      [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
    {_:2546668_22 rdf:rest _:3186311_22}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
       {[ iw:Variable "?S"] = _:3186311_22.
        [ iw:Variable "?X"] = :m.
        [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
      {_:3186311_22 rdf:first :m}. 
      [ iw:Variable "?B"] = _:3186311_22.
      [ iw:Variable "?X"] = :m.
      [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
    {_:3186311_22 :item :m}. 
    [ iw:Variable "?L"] = _:2546668_22.
    [ iw:Variable "?X"] = :m.
    [ iw:Variable "?L"] :item [ iw:Variable "?X"]} =>
  {_:2546668_22 :item :m}}  =>
{:m a :H}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl9i2>. 
   {[ iw:Variable "?C"] = :y.
    [ iw:Variable "?L"] = _:1671381_22.
    [ iw:Variable "?C"] owl:intersectionOf [ iw:Variable "?L"]} =>
  {:y owl:intersectionOf _:1671381_22}. 
   {
    <http://www.agfa.com/w3c/euler/owl-rules#owl42a2>. 
     {[ iw:Variable "?S"] = _:1671381_22.
      [ iw:Variable "?A"] = :b.
      [ iw:Variable "?S"] rdf:first [ iw:Variable "?A"]} =>
    {_:1671381_22 rdf:first :b}. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl8s4>. 
         {[ iw:Variable "?A"] = :x.
          [ iw:Variable "?X"] = _:2804837_22.
          [ iw:Variable "?A"] owl:intersectionOf [ iw:Variable "?X"]} =>
        {:x owl:intersectionOf _:2804837_22}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[ iw:Variable "?S"] = _:2804837_22.
            [ iw:Variable "?B"] = _:5311068_22.
            [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
          {_:2804837_22 rdf:rest _:5311068_22}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
             {[ iw:Variable "?S"] = _:5311068_22.
              [ iw:Variable "?X"] = :b.
              [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
            {_:5311068_22 rdf:first :b}. 
            [ iw:Variable "?B"] = _:5311068_22.
            [ iw:Variable "?X"] = :b.
            [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
          {_:5311068_22 :item :b}. 
          [ iw:Variable "?X"] = _:2804837_22.
          [ iw:Variable "?B"] = :b.
          [ iw:Variable "?X"] :item [ iw:Variable "?B"]} =>
        {_:2804837_22 :item :b}. 
        [ iw:Variable "?A"] = :x.
        [ iw:Variable "?B"] = :b.
        [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
      {:x rdfs:subClassOf :b}. 
       {[ iw:Variable "?S"] = :J.
        [ iw:Variable "?A"] = :x.
        [ iw:Variable "?S"] a [ iw:Variable "?A"]} =>
      {:J a :x}. 
      [ iw:Variable "?X"] = :J.
      [ iw:Variable "?A"] = :b.
      [ iw:Variable "?X"] a [ iw:Variable "?A"]} =>
    {:J a :b}. 
     {[ iw:Variable "?S"] = _:1671381_22.
      [ iw:Variable "?B"] = _:5854354_22.
      [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
    {_:1671381_22 rdf:rest _:5854354_22}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl42a2>. 
       {[ iw:Variable "?S"] = _:5854354_22.
        [ iw:Variable "?A"] = :c.
        [ iw:Variable "?S"] rdf:first [ iw:Variable "?A"]} =>
      {_:5854354_22 rdf:first :c}. 
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl8s4>. 
           {[ iw:Variable "?A"] = :x.
            [ iw:Variable "?X"] = _:2804837_22.
            [ iw:Variable "?A"] owl:intersectionOf [ iw:Variable "?X"]} =>
          {:x owl:intersectionOf _:2804837_22}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[ iw:Variable "?S"] = _:2804837_22.
              [ iw:Variable "?B"] = _:5311068_22.
              [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
            {_:2804837_22 rdf:rest _:5311068_22}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
               {[ iw:Variable "?S"] = _:5311068_22.
                [ iw:Variable "?B"] = _:8332307_22.
                [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
              {_:5311068_22 rdf:rest _:8332307_22}. 
               {
                <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
                 {[ iw:Variable "?S"] = _:8332307_22.
                  [ iw:Variable "?X"] = :c.
                  [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
                {_:8332307_22 rdf:first :c}. 
                [ iw:Variable "?B"] = _:8332307_22.
                [ iw:Variable "?X"] = :c.
                [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
              {_:8332307_22 :item :c}. 
              [ iw:Variable "?B"] = _:5311068_22.
              [ iw:Variable "?X"] = :c.
              [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
            {_:5311068_22 :item :c}. 
            [ iw:Variable "?X"] = _:2804837_22.
            [ iw:Variable "?B"] = :c.
            [ iw:Variable "?X"] :item [ iw:Variable "?B"]} =>
          {_:2804837_22 :item :c}. 
          [ iw:Variable "?A"] = :x.
          [ iw:Variable "?B"] = :c.
          [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
        {:x rdfs:subClassOf :c}. 
         {[ iw:Variable "?S"] = :J.
          [ iw:Variable "?A"] = :x.
          [ iw:Variable "?S"] a [ iw:Variable "?A"]} =>
        {:J a :x}. 
        [ iw:Variable "?X"] = :J.
        [ iw:Variable "?A"] = :c.
        [ iw:Variable "?X"] a [ iw:Variable "?A"]} =>
      {:J a :c}. 
       {[ iw:Variable "?S"] = _:5854354_22.
        [ iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>.
        [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
      {_:5854354_22 rdf:rest <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl42a1>. 
        [ iw:Variable "?X"] = :J.
        [ iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>.
        [ iw:Variable "?X"] :inAllOf [ iw:Variable "?B"]} =>
      {:J :inAllOf <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
      [ iw:Variable "?X"] = :J.
      [ iw:Variable "?B"] = _:5854354_22.
      [ iw:Variable "?X"] :inAllOf [ iw:Variable "?B"]} =>
    {:J :inAllOf _:5854354_22}. 
    [ iw:Variable "?X"] = :J.
    [ iw:Variable "?L"] = _:1671381_22.
    [ iw:Variable "?X"] :inAllOf [ iw:Variable "?L"]} =>
  {:J :inAllOf _:1671381_22}}  =>
{:J a :y}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
   {[ iw:Variable "?A"] = :test43.
    [ iw:Variable "?B"] = :test46.
    [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
  {:test43 rdfs:subClassOf :test46}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
     {[ iw:Variable "?A"] = :test34.
      [ iw:Variable "?B"] = :test43.
      [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
    {:test34 rdfs:subClassOf :test43}. 
     {[ iw:Variable "?S"] = :test3x.
      [ iw:Variable "?A"] = :test34.
      [ iw:Variable "?S"] a [ iw:Variable "?A"]} =>
    {:test3x a :test34}. 
    [ iw:Variable "?S"] = :test3x.
    [ iw:Variable "?A"] = :test43.
    [ iw:Variable "?S"] a [ iw:Variable "?A"]} =>
  {:test3x a :test43}}  =>
{:test3x a :test46}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
   {
    <http://www.agfa.com/w3c/euler/owl-rules#owl8s3>. 
     {[ iw:Variable "?B"] = _:63852_26.
      [ iw:Variable "?Y"] = _:7812797_26.
      [ iw:Variable "?B"] owl:oneOf [ iw:Variable "?Y"]} =>
    {_:63852_26 owl:oneOf _:7812797_26}. 
     {[ iw:Variable "?A"] = _:4158081_22.
      [ iw:Variable "?X"] = _:7777071_22.
      [ iw:Variable "?A"] owl:oneOf [ iw:Variable "?X"]} =>
    {_:4158081_22 owl:oneOf _:7777071_22}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl41i2>. 
       {[ iw:Variable "?S"] = _:7777071_22.
        [ iw:Variable "?A"] = :a.
        [ iw:Variable "?S"] rdf:first [ iw:Variable "?A"]} =>
      {_:7777071_22 rdf:first :a}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
         {[ iw:Variable "?S"] = _:7812797_26.
          [ iw:Variable "?B"] = _:2808983_26.
          [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
        {_:7812797_26 rdf:rest _:2808983_26}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[ iw:Variable "?S"] = _:2808983_26.
            [ iw:Variable "?B"] = _:7882253_26.
            [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
          {_:2808983_26 rdf:rest _:7882253_26}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[ iw:Variable "?S"] = _:7882253_26.
              [ iw:Variable "?B"] = _:4137231_26.
              [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
            {_:7882253_26 rdf:rest _:4137231_26}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[ iw:Variable "?S"] = _:4137231_26.
                [ iw:Variable "?X"] = :a.
                [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
              {_:4137231_26 rdf:first :a}. 
              [ iw:Variable "?B"] = _:4137231_26.
              [ iw:Variable "?X"] = :a.
              [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
            {_:4137231_26 :item :a}. 
            [ iw:Variable "?B"] = _:7882253_26.
            [ iw:Variable "?X"] = :a.
            [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
          {_:7882253_26 :item :a}. 
          [ iw:Variable "?B"] = _:2808983_26.
          [ iw:Variable "?X"] = :a.
          [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
        {_:2808983_26 :item :a}. 
        [ iw:Variable "?X"] = _:7812797_26.
        [ iw:Variable "?A"] = :a.
        [ iw:Variable "?X"] :item [ iw:Variable "?A"]} =>
      {_:7812797_26 :item :a}. 
       {[ iw:Variable "?S"] = _:7777071_22.
        [ iw:Variable "?B"] = _:6343715_22.
        [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
      {_:7777071_22 rdf:rest _:6343715_22}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl41i2>. 
         {[ iw:Variable "?S"] = _:6343715_22.
          [ iw:Variable "?A"] = :b.
          [ iw:Variable "?S"] rdf:first [ iw:Variable "?A"]} =>
        {_:6343715_22 rdf:first :b}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[ iw:Variable "?S"] = _:7812797_26.
            [ iw:Variable "?B"] = _:2808983_26.
            [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
          {_:7812797_26 rdf:rest _:2808983_26}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[ iw:Variable "?S"] = _:2808983_26.
              [ iw:Variable "?B"] = _:7882253_26.
              [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
            {_:2808983_26 rdf:rest _:7882253_26}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[ iw:Variable "?S"] = _:7882253_26.
                [ iw:Variable "?X"] = :b.
                [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
              {_:7882253_26 rdf:first :b}. 
              [ iw:Variable "?B"] = _:7882253_26.
              [ iw:Variable "?X"] = :b.
              [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
            {_:7882253_26 :item :b}. 
            [ iw:Variable "?B"] = _:2808983_26.
            [ iw:Variable "?X"] = :b.
            [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
          {_:2808983_26 :item :b}. 
          [ iw:Variable "?X"] = _:7812797_26.
          [ iw:Variable "?A"] = :b.
          [ iw:Variable "?X"] :item [ iw:Variable "?A"]} =>
        {_:7812797_26 :item :b}. 
         {[ iw:Variable "?S"] = _:6343715_22.
          [ iw:Variable "?B"] = _:8000886_22.
          [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
        {_:6343715_22 rdf:rest _:8000886_22}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl41i2>. 
           {[ iw:Variable "?S"] = _:8000886_22.
            [ iw:Variable "?A"] = :c.
            [ iw:Variable "?S"] rdf:first [ iw:Variable "?A"]} =>
          {_:8000886_22 rdf:first :c}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[ iw:Variable "?S"] = _:7812797_26.
              [ iw:Variable "?B"] = _:2808983_26.
              [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
            {_:7812797_26 rdf:rest _:2808983_26}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[ iw:Variable "?S"] = _:2808983_26.
                [ iw:Variable "?X"] = :c.
                [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
              {_:2808983_26 rdf:first :c}. 
              [ iw:Variable "?B"] = _:2808983_26.
              [ iw:Variable "?X"] = :c.
              [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
            {_:2808983_26 :item :c}. 
            [ iw:Variable "?X"] = _:7812797_26.
            [ iw:Variable "?A"] = :c.
            [ iw:Variable "?X"] :item [ iw:Variable "?A"]} =>
          {_:7812797_26 :item :c}. 
           {[ iw:Variable "?S"] = _:8000886_22.
            [ iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>.
            [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
          {_:8000886_22 rdf:rest <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl41i1>. 
            [ iw:Variable "?X"] = _:7812797_26.
            [ iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>.
            [ iw:Variable "?X"] :includes [ iw:Variable "?B"]} =>
          {_:7812797_26 :includes <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
          [ iw:Variable "?X"] = _:7812797_26.
          [ iw:Variable "?B"] = _:8000886_22.
          [ iw:Variable "?X"] :includes [ iw:Variable "?B"]} =>
        {_:7812797_26 :includes _:8000886_22}. 
        [ iw:Variable "?X"] = _:7812797_26.
        [ iw:Variable "?B"] = _:6343715_22.
        [ iw:Variable "?X"] :includes [ iw:Variable "?B"]} =>
      {_:7812797_26 :includes _:6343715_22}. 
      [ iw:Variable "?Y"] = _:7812797_26.
      [ iw:Variable "?X"] = _:7777071_22.
      [ iw:Variable "?Y"] :includes [ iw:Variable "?X"]} =>
    {_:7812797_26 :includes _:7777071_22}. 
    [ iw:Variable "?A"] = _:4158081_22.
    [ iw:Variable "?B"] = _:63852_26.
    [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
  {_:4158081_22 rdfs:subClassOf _:63852_26}. 
   {[ iw:Variable "?S"] = :X.
    [ iw:Variable "?A"] = _:4158081_22.
    [ iw:Variable "?S"] a [ iw:Variable "?A"]} =>
  {:X a _:4158081_22}. 
  [ iw:Variable "_:63852_26"] = _:63852_26.
  :X a [ iw:Variable "_:63852_26"]} =>
{:X a _:63852_26}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl9i2>. 
   {[ iw:Variable "?C"] = _:1278009_26.
    [ iw:Variable "?L"] = _:4670443_26.
    [ iw:Variable "?C"] owl:intersectionOf [ iw:Variable "?L"]} =>
  {_:1278009_26 owl:intersectionOf _:4670443_26}. 
   {
    <http://www.agfa.com/w3c/euler/owl-rules#owl42a2>. 
     {[ iw:Variable "?S"] = _:4670443_26.
      [ iw:Variable "?A"] = :C.
      [ iw:Variable "?S"] rdf:first [ iw:Variable "?A"]} =>
    {_:4670443_26 rdf:first :C}. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl8s4>. 
         {[ iw:Variable "?A"] = _:1514278_22.
          [ iw:Variable "?X"] = _:7831616_22.
          [ iw:Variable "?A"] owl:intersectionOf [ iw:Variable "?X"]} =>
        {_:1514278_22 owl:intersectionOf _:7831616_22}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[ iw:Variable "?S"] = _:7831616_22.
            [ iw:Variable "?B"] = _:330120_22.
            [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
          {_:7831616_22 rdf:rest _:330120_22}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[ iw:Variable "?S"] = _:330120_22.
              [ iw:Variable "?B"] = _:3465883_22.
              [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
            {_:330120_22 rdf:rest _:3465883_22}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[ iw:Variable "?S"] = _:3465883_22.
                [ iw:Variable "?X"] = :C.
                [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
              {_:3465883_22 rdf:first :C}. 
              [ iw:Variable "?B"] = _:3465883_22.
              [ iw:Variable "?X"] = :C.
              [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
            {_:3465883_22 :item :C}. 
            [ iw:Variable "?B"] = _:330120_22.
            [ iw:Variable "?X"] = :C.
            [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
          {_:330120_22 :item :C}. 
          [ iw:Variable "?X"] = _:7831616_22.
          [ iw:Variable "?B"] = :C.
          [ iw:Variable "?X"] :item [ iw:Variable "?B"]} =>
        {_:7831616_22 :item :C}. 
        [ iw:Variable "?A"] = _:1514278_22.
        [ iw:Variable "?B"] = :C.
        [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
      {_:1514278_22 rdfs:subClassOf :C}. 
       {[ iw:Variable "?S"] = :Y.
        [ iw:Variable "?A"] = _:1514278_22.
        [ iw:Variable "?S"] a [ iw:Variable "?A"]} =>
      {:Y a _:1514278_22}. 
      [ iw:Variable "?X"] = :Y.
      [ iw:Variable "?A"] = :C.
      [ iw:Variable "?X"] a [ iw:Variable "?A"]} =>
    {:Y a :C}. 
     {[ iw:Variable "?S"] = _:4670443_26.
      [ iw:Variable "?B"] = _:3945515_26.
      [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
    {_:4670443_26 rdf:rest _:3945515_26}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl42a2>. 
       {[ iw:Variable "?S"] = _:3945515_26.
        [ iw:Variable "?A"] = :X.
        [ iw:Variable "?S"] rdf:first [ iw:Variable "?A"]} =>
      {_:3945515_26 rdf:first :X}. 
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl8s4>. 
           {[ iw:Variable "?A"] = _:1514278_22.
            [ iw:Variable "?X"] = _:7831616_22.
            [ iw:Variable "?A"] owl:intersectionOf [ iw:Variable "?X"]} =>
          {_:1514278_22 owl:intersectionOf _:7831616_22}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[ iw:Variable "?S"] = _:7831616_22.
              [ iw:Variable "?B"] = _:330120_22.
              [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
            {_:7831616_22 rdf:rest _:330120_22}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[ iw:Variable "?S"] = _:330120_22.
                [ iw:Variable "?X"] = :X.
                [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
              {_:330120_22 rdf:first :X}. 
              [ iw:Variable "?B"] = _:330120_22.
              [ iw:Variable "?X"] = :X.
              [ iw:Variable "?B"] :item [ iw:Variable "?X"]} =>
            {_:330120_22 :item :X}. 
            [ iw:Variable "?X"] = _:7831616_22.
            [ iw:Variable "?B"] = :X.
            [ iw:Variable "?X"] :item [ iw:Variable "?B"]} =>
          {_:7831616_22 :item :X}. 
          [ iw:Variable "?A"] = _:1514278_22.
          [ iw:Variable "?B"] = :X.
          [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
        {_:1514278_22 rdfs:subClassOf :X}. 
         {[ iw:Variable "?S"] = :Y.
          [ iw:Variable "?A"] = _:1514278_22.
          [ iw:Variable "?S"] a [ iw:Variable "?A"]} =>
        {:Y a _:1514278_22}. 
        [ iw:Variable "?X"] = :Y.
        [ iw:Variable "?A"] = :X.
        [ iw:Variable "?X"] a [ iw:Variable "?A"]} =>
      {:Y a :X}. 
       {[ iw:Variable "?S"] = _:3945515_26.
        [ iw:Variable "?B"] = _:340152_26.
        [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
      {_:3945515_26 rdf:rest _:340152_26}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl42a2>. 
         {[ iw:Variable "?S"] = _:340152_26.
          [ iw:Variable "?A"] = :A.
          [ iw:Variable "?S"] rdf:first [ iw:Variable "?A"]} =>
        {_:340152_26 rdf:first :A}. 
         {
          <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl8s4>. 
             {[ iw:Variable "?A"] = _:1514278_22.
              [ iw:Variable "?X"] = _:7831616_22.
              [ iw:Variable "?A"] owl:intersectionOf [ iw:Variable "?X"]} =>
            {_:1514278_22 owl:intersectionOf _:7831616_22}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[ iw:Variable "?S"] = _:7831616_22.
                [ iw:Variable "?X"] = :A.
                [ iw:Variable "?S"] rdf:first [ iw:Variable "?X"]} =>
              {_:7831616_22 rdf:first :A}. 
              [ iw:Variable "?X"] = _:7831616_22.
              [ iw:Variable "?B"] = :A.
              [ iw:Variable "?X"] :item [ iw:Variable "?B"]} =>
            {_:7831616_22 :item :A}. 
            [ iw:Variable "?A"] = _:1514278_22.
            [ iw:Variable "?B"] = :A.
            [ iw:Variable "?A"] rdfs:subClassOf [ iw:Variable "?B"]} =>
          {_:1514278_22 rdfs:subClassOf :A}. 
           {[ iw:Variable "?S"] = :Y.
            [ iw:Variable "?A"] = _:1514278_22.
            [ iw:Variable "?S"] a [ iw:Variable "?A"]} =>
          {:Y a _:1514278_22}. 
          [ iw:Variable "?X"] = :Y.
          [ iw:Variable "?A"] = :A.
          [ iw:Variable "?X"] a [ iw:Variable "?A"]} =>
        {:Y a :A}. 
         {[ iw:Variable "?S"] = _:340152_26.
          [ iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>.
          [ iw:Variable "?S"] rdf:rest [ iw:Variable "?B"]} =>
        {_:340152_26 rdf:rest <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl42a1>. 
          [ iw:Variable "?X"] = :Y.
          [ iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>.
          [ iw:Variable "?X"] :inAllOf [ iw:Variable "?B"]} =>
        {:Y :inAllOf <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
        [ iw:Variable "?X"] = :Y.
        [ iw:Variable "?B"] = _:340152_26.
        [ iw:Variable "?X"] :inAllOf [ iw:Variable "?B"]} =>
      {:Y :inAllOf _:340152_26}. 
      [ iw:Variable "?X"] = :Y.
      [ iw:Variable "?B"] = _:3945515_26.
      [ iw:Variable "?X"] :inAllOf [ iw:Variable "?B"]} =>
    {:Y :inAllOf _:3945515_26}. 
    [ iw:Variable "?X"] = :Y.
    [ iw:Variable "?L"] = _:4670443_26.
    [ iw:Variable "?X"] :inAllOf [ iw:Variable "?L"]} =>
  {:Y :inAllOf _:4670443_26}. 
  [ iw:Variable "_:1278009_26"] = _:1278009_26.
  :Y a [ iw:Variable "_:1278009_26"]} =>
{:Y a _:1278009_26}. 
<http://www.agfa.com/w3c/euler/owl-rules#m> <http://www.w3.org/2002/07/owl#sameAs> <http://www.agfa.com/w3c/euler/owl-rules#o>.
<http://www.agfa.com/w3c/euler/owl-rules#n> <http://www.w3.org/2002/07/owl#sameAs> <http://www.agfa.com/w3c/euler/owl-rules#o>.
<http://www.agfa.com/w3c/euler/owl-rules#j> <http://www.w3.org/2002/07/owl#sameAs> <http://www.agfa.com/w3c/euler/owl-rules#i>.
# Proof found for http://www.agfa.com/w3c/euler/owl-query.n3 in 45631 steps (120078 steps/sec) using 1 engine
}.

# Generated with http://www.agfa.com/w3c/euler/#R3540 on 10 Aug 2003 21:52:13 GMT
{
 (
 <http://www.agfa.com/w3c/euler/ziv.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/builtins.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/builtins#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/ziv#>.
@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 iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


 {[ iw:Variable "?X"] = "abc".
  ("a" "b" "c") str:concatenation [ iw:Variable "?X"]} =>
{("a" "b" "c") str:concatenation "abc"}. 
("a" "b" "c") str:concatenation "abc". 
"xyz" str:equalIgnoringCase "XYZ". 
"xyz" str:notEqualIgnoringCase "ABC". 
"xyz" str:greaterThan "abc". 
"abc" str:notGreaterThan "xyz". 
"abc" str:lessThan "xyz". 
"xyz" str:notLessThan "abc". 
"xyz" str:notLessThan "xyz". 
"abc" str:startsWith "ab". 
"abc" str:endsWith "bc". 
 {[ iw:Variable "?X"] = "abc".
  "abc" str:endsWith [ iw:Variable "?X"]} =>
{"abc" str:endsWith "abc"}. 
"abcXYZ" str:contains "cX". 
"abcXYZ" str:containsIgnoringCase "Cx". 
 {[ iw:Variable "?Y"] = 7.0.
  (1.2 2.3 3.5) math:sum [ iw:Variable "?Y"]} =>
{(1.2 2.3 3.5) math:sum 7.0}. 
 {[ iw:Variable "?Z"] = 6.0.
  (7.0 1) math:difference [ iw:Variable "?Z"]} =>
{(7.0 1) math:difference 6.0}. 
 {[ iw:Variable "?U"] = 6.
  (1 2 3) math:product [ iw:Variable "?U"]} =>
{(1 2 3) math:product 6}. 
 {[ iw:Variable "?V"] = 2.0.
  (6 3) math:quotient [ iw:Variable "?V"]} =>
{(6 3) math:quotient 2.0}. 
 {[ iw:Variable "?A"] = 2.3333333333333335.
  (7 3) math:quotient [ iw:Variable "?A"]} =>
{(7 3) math:quotient 2.3333333333333335}. 
 {[ iw:Variable "?B"] = 2.
  (7 3) math:integerQuotient [ iw:Variable "?B"]} =>
{(7 3) math:integerQuotient 2}. 
 {[ iw:Variable "?W"] = 0.0.
  (6.0 2.0) math:remainder [ iw:Variable "?W"]} =>
{(6.0 2.0) math:remainder 0.0}. 
 {[ iw:Variable "?C"] = 1.
  (7 3) math:remainder [ iw:Variable "?C"]} =>
{(7 3) math:remainder 1}. 
 {[ iw:Variable "?I"] = 5.
  -5 math:negation [ iw:Variable "?I"]} =>
{-5 math:negation 5}. 
 {[ iw:Variable "?D"] = 5.1.
  -5.1 math:absoluteValue [ iw:Variable "?D"]} =>
{-5.1 math:absoluteValue 5.1}. 
 {[ iw:Variable "?E"] = -6.
  -5.7 math:rounded [ iw:Variable "?E"]} =>
{-5.7 math:rounded -6}. 
 {[ iw:Variable "?J"] = 1024.
  (2 10) math:exponentiation [ iw:Variable "?J"]} =>
{(2 10) math:exponentiation 1024}. 
 {[ iw:Variable "?K"] = 3.
  ("a" ("b" "c") "d") math:memberCount [ iw:Variable "?K"]} =>
{("a" ("b" "c") "d") math:memberCount 3}. 
 {[ iw:Variable "?U"] = 6.
  [ iw:Variable "?V"] = 2.0.
  [ iw:Variable "?U"] math:greaterThan [ iw:Variable "?V"]} =>
{6 math:greaterThan 2.0}. 
 {[ iw:Variable "?V"] = 2.0.
  [ iw:Variable "?U"] = 6.
  [ iw:Variable "?V"] math:notGreaterThan [ iw:Variable "?U"]} =>
{2.0 math:notGreaterThan 6}. 
 {[ iw:Variable "?V"] = 2.0.
  [ iw:Variable "?U"] = 6.
  [ iw:Variable "?V"] math:lessThan [ iw:Variable "?U"]} =>
{2.0 math:lessThan 6}. 
 {[ iw:Variable "?U"] = 6.
  [ iw:Variable "?V"] = 2.0.
  [ iw:Variable "?U"] math:notLessThan [ iw:Var