#Processed by Id: cwm.py,v 1.54 2001/06/01 07:50:20 connolly Exp 
        #    using base file:C:\WEB\INFOMESH\2001\05\SW\DAY.N3
        
#  Notation3 generation by
#       notation3.py,v 1.82 2001/06/01 07:52:40 connolly Exp

#   Base was: file:C:\WEB\INFOMESH\2001\05\SW\DAY.N3
     @prefix : <http://www.w3.org/2000/10/swap/log#> .
     @prefix d: <tag:infomesh.net,1-6-10:date/> .
    
    this     <#created> <#_g0>;
         :forSome <#_g0> .
    
    <#_g0>     <tag:infomesh.net,1-6-10:date/day> "Sunday";
         <tag:infomesh.net,1-6-10:date/period> <tag:infomesh.net,1-6-10:date/Weekend> .
    {
        {
            <#x>     <tag:infomesh.net,1-6-10:date/day> <#y> .
            
            }     :implies {{
                {
                    <#x>     <tag:infomesh.net,1-6-10:date/day> <#y> .
                    <#y>     :startsWith "W" .
                    
                    }     :implies {<#x>     <tag:infomesh.net,1-6-10:date/period> <tag:infomesh.net,1-6-10:date/WorkingWeek> .
                    } .
                
                }     a :Truth;
                 :forAll <#x>,
                        <#y> .
            {
                {
                    <#x>     <tag:infomesh.net,1-6-10:date/day> <#y> .
                    <#y>     :startsWith "F" .
                    
                    }     :implies {<#x>     <tag:infomesh.net,1-6-10:date/period> <tag:infomesh.net,1-6-10:date/WorkingWeek> .
                    } .
                
                }     a :Truth;
                 :forAll <#x>,
                        <#y> .
            {
                {
                    <#x>     <tag:infomesh.net,1-6-10:date/day> <#y> .
                    <#y>     :startsWith "S" .
                    
                    }     :implies {<#x>     <tag:infomesh.net,1-6-10:date/period> <tag:infomesh.net,1-6-10:date/Weekend> .
                    } .
                
                }     a :Truth;
                 :forAll <#x>,
                        <#y> .
            {
                {
                    <#x>     <tag:infomesh.net,1-6-10:date/day> <#y> .
                    <#y>     :startsWith "M" .
                    
                    }     :implies {<#x>     <tag:infomesh.net,1-6-10:date/period> <tag:infomesh.net,1-6-10:date/WorkingWeek> .
                    } .
                
                }     a :Truth;
                 :forAll <#x>,
                        <#y> .
            {
                {
                    <#x>     <tag:infomesh.net,1-6-10:date/day> <#y> .
                    <#y>     :startsWith "T" .
                    
                    }     :implies {<#x>     <tag:infomesh.net,1-6-10:date/period> <tag:infomesh.net,1-6-10:date/WorkingWeek> .
                    } .
                
                }     a :Truth;
                 :forAll <#x>,
                        <#y> .
            } .
        
        }     a :Truth;
         :forAll <#x>,
                <#y> .
    {
        {
            "Sunday"     :startsWith "M" .
              [      <tag:infomesh.net,1-6-10:date/day> "Sunday" ].
            
            }     :implies {
              [      <tag:infomesh.net,1-6-10:date/period> <tag:infomesh.net,1-6-10:date/WorkingWeek> ].
            } .
        
        }     a :Truth;
         :forAll "Sunday",
                <#_g0> .
    {
        {
            "Sunday"     :startsWith "T" .
              [      <tag:infomesh.net,1-6-10:date/day> "Sunday" ].
            
            }     :implies {
              [      <tag:infomesh.net,1-6-10:date/period> <tag:infomesh.net,1-6-10:date/WorkingWeek> ].
            } .
        
        }     a :Truth;
         :forAll "Sunday",
                <#_g0> .
    {
        {
            "Sunday"     :startsWith "W" .
              [      <tag:infomesh.net,1-6-10:date/day> "Sunday" ].
            
            }     :implies {
              [      <tag:infomesh.net,1-6-10:date/period> <tag:infomesh.net,1-6-10:date/WorkingWeek> ].
            } .
        
        }     a :Truth;
         :forAll "Sunday",
                <#_g0> .
    {
        {
            "Sunday"     :startsWith "F" .
              [      <tag:infomesh.net,1-6-10:date/day> "Sunday" ].
            
            }     :implies {
              [      <tag:infomesh.net,1-6-10:date/period> <tag:infomesh.net,1-6-10:date/WorkingWeek> ].
            } .
        
        }     a :Truth;
         :forAll "Sunday",
                <#_g0> .
    {
        {
            "Sunday"     :startsWith "S" .
              [      <tag:infomesh.net,1-6-10:date/day> "Sunday" ].
            
            }     :implies {
              [      <tag:infomesh.net,1-6-10:date/period> <tag:infomesh.net,1-6-10:date/Weekend> ].
            } .
        
        }     a :Truth;
         :forAll "Sunday",
                <#_g0> .
    
#ENDS