@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix pdb: <http://www.w3.org/2000/08/palm56/pdb#> .
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix v: <#>.

this log:forAll v:six, v:fnum, v:date, v:lvtime, v:artime, v:name.

# hmmm... I'd like to write some rules ala:
# if it's for $somebody,
# and $somebody's PDA has palmSerialNumber XYZ,
# then the records in that PDA are as follows...

{ [ nav:sixLetters v:six;
    nav:air
      [ nav:flightNum v:fnum;
        nav:date v:date;
        nav:LV [ nav:time v:lvtime ];
        nav:AR [ nav:time v:artime; nav:place [ nav:airportName v:name ] ]
      ]
  ]
}
  log:implies
  { [ a pd:OneTime; pdb:private "0";
      pd:date v:date;
      pd:start_time v:lvtime;
      pd:end_time v:artime;
      pd:description v:name; #TODO: concat carriercode, fnum, airport->airport
      pd:note v:six; # TODO: include seat, etc.
      pd:alarmUnit pd:hours; # TODO: consider distance from home,
			     # whether this is a connecting flight, etc.
      pd:alarmAdvance "2";
     ]
   }.