@prefix dc: <http://purl.org/dc/elements/1.1/>.

<> dc:source [ dc:description "my travelreq" ].

<> dc: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.""".

@prefix n: <http://www.w3.org/2001/07dc-bos/grokNavItin#> .

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix : <#>.

<nj1a.n3> a :Candidate.
<nj1b.n3> a :Candidate.

this log:forAll :d, :tlv.

{ :d a :Candidate.
  :d log:semantics [ log:includes {
    [] n:air [ n:LV [ n:place [ n:airportName "KANSAS CITY INTL" ];
                      n:time :tlv ];
               n:date "2002-01-13";
	]
  } ].
}
log:implies { :d :leavesMCIonSundayAt :tlv }.


{ :d a :Candidate.
  :d log:semantics [ log:includes {
    [] n:air [ n:AR [ n:place [ n:airportName "KANSAS CITY INTL" ];
                      n:time :tlv ];
               n:date "2002-01-16";
	]
  } ].
}
log:implies { :d :arMCIonWedsAt :tlv }.

@prefix pa: <http://www.w3.org/2000/08/palm56/addr#> .

{ :d a :Candidate.
  :d log:semantics [ log:includes {
    [] n:air [ n:carrier [ pa:company "AMERICAN AIRLINES" ] ]
  } ].
}
log:implies { :d a :AmericanItinerary }.