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

<> dc:description """filter the poolGame-kb for relevant data""".

@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#> .
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix : <poolGame-filter#>.
@prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix v: <poolGame-filter?>.
     @prefix t: <http://www.w3.org/2001/08swws67/travel#> .
     @prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#> .
     @prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#> .
     @prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#> .
     @prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#> .
     @prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#> .

this log:forAll v:grp, v:e, v:text, v:dt, v:who, v:name, v:hhmm, v:num,
	v:where, v:where2, v:day, v:hh, v:mm, v:x.

{
  <poolGame.n3#EricDanBayArea>
    <poolGame.n3#__hasPlans> v:e.
  v:e ical:DESCRIPTION v:text;
      ical:ATTENDEE v:who;
      ical:DTSTART [ util:hour v:hh; util:minute v:mm ];
      ct:startingDate v:day.
  v:who foaf:name v:name.
  v:day t:yyyy_mm_dd v:dt.
}
  log:implies
{
  v:day t:yyyy_mm_dd v:dt;
   :events v:e.
  v:e :who v:name;
             :whenHH v:hh;
             :whenMM v:mm;
             :what v:text
}.

         

{
  <poolGame.n3#EricDanBayArea> cg:groupMembers v:who;
    cs:inRegion v:where.
  v:e ctrans:transportees v:who;
      ct:endingDate v:day;
      ctrans:toLocation v:where2;
      nav:AR [ nav:time v:hhmm ];
      nav:flightNum v:num.
  v:who foaf:name v:name.
  v:where2 cs:inRegion v:where.
  v:day t:yyyy_mm_dd v:dt.
}
  log:implies
{
  v:day a ct:CalendarDay; t:yyyy_mm_dd v:dt;
   :flights v:e.
  v:e :who v:name;
             :whenHHMM v:hhmm;
             :arFlt v:num.
}.

{
  <poolGame.n3#EricDanBayArea> cg:groupMembers v:who;
    cs:inRegion v:where.
  v:e ctrans:transportees v:who;
      ct:endingDate v:day;
      ctrans:fromLocation v:where2;
      nav:AR [ nav:time v:hhmm ];
      nav:flightNum v:num.
  v:who foaf:name v:name.
  v:where2 cs:inRegion v:where.
  v:day t:yyyy_mm_dd v:dt.
}
  log:implies
{
  v:day a ct:CalendarDay; t:yyyy_mm_dd v:dt;
   :flights v:e.
  v:e :who v:name;
             :whenHHMM v:hhmm;
             :lvFlt v:num.
}.