#Processed by Id: cwm.py,v 1.82 2001/11/15 22:11:23 timbl Exp 
        #    using base file:/home/connolly/w3ccvs/WWW/2002/01dc-nj/req.n3
        
#  Notation3 generation by
#       notation3.py,v 1.98 2001/11/15 22:11:24 timbl Exp

#   Base was: file:/home/connolly/w3ccvs/WWW/2002/01dc-nj/req.n3
     @prefix : <http://www.w3.org/2000/10/swap/log#> .
     @prefix dc: <http://purl.org/dc/elements/1.1/> .
     @prefix n: <http://www.w3.org/2001/07dc-bos/grokNavItin#> .
     @prefix pa: <http://www.w3.org/2000/08/palm56/addr#> .
     @prefix pd: <http://www.w3.org/2000/08/palm56/datebook#> .
     @prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
    
    <nj1a.n3>     a <#Candidate>;
         <#arMCIonWedsAt> "11:28";
         <#leavesMCIonSundayAt> "18:20" .
    
    <nj1b.n3>     a <#AmericanItinerary>,
                <#Candidate>;
         <#arMCIonWedsAt> "11:32";
         <#leavesMCIonSundayAt> "16:15" .
    
    this     :forAll <#d>,
                <#tlv> .
    {
        <#d>     a <#Candidate>;
             :semantics  [
                 :includes {
                  [      n:air  [
                             n:carrier  [
                                 pa:company "AMERICAN AIRLINES" ] ] ].
                } ] .
        
        }     :implies {<#d>     a <#AmericanItinerary> .
        } .
    {
        <#d>     a <#Candidate>;
             :semantics  [
                 :includes {
                  [      n:air  [
                             n:LV  [
                                 n:place  [
                                     n:airportName "KANSAS CITY INTL" ];
                                 n:time <#tlv> ];
                             n:date "2002-01-13" ] ].
                } ] .
        
        }     :implies {<#d>     <#leavesMCIonSundayAt> <#tlv> .
        } .
    {
        <#d>     a <#Candidate>;
             :semantics  [
                 :includes {
                  [      n:air  [
                             n:AR  [
                                 n:place  [
                                     n:airportName "KANSAS CITY INTL" ];
                                 n:time <#tlv> ];
                             n:date "2002-01-16" ] ].
                } ] .
        
        }     :implies {<#d>     <#arMCIonWedsAt> <#tlv> .
        } .
    
    <>     <http://purl.org/dc/elements/1.1/description> """Preferred times: lv Sun, 13 Jan evening
        return Wed 16 Jan morning
        gotta get back to KC by noon;
        willing to leave Tue, 15 Jan if necessary to do that.""";
         <http://purl.org/dc/elements/1.1/source>  [
             <http://purl.org/dc/elements/1.1/description> "my travelreq" ] .
    
#ENDS