Checking Constraints


itineraries that have me leaving before 30 July are no good

{
 ?D a k:ItineraryDocument; k:containsInformationAbout-Focally ?TRIP.
 ?TRIP k:subEvents
    [ k:startingDate [ dt:date ?D1 ];
      k:fromLocation [ apt:iataCode "MCI" ];
      t:departureTime ?T1;
    ].
  ?D1 str:lessThan "2001-07-30".
} => {
   ?TRIP <#leavesDaysTooSoon> ?D1;
          <#at> ?T1.
}.

check ala...

$ python cwm.py proposed-itinerary.nt --think=constraints.n3

... and look for <#leavesDaysTooSoon> in the output.