@prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

@prefix k: <http://opencyc.sourceforge.net/daml/cyc.daml#> .

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
this log:forAll :TRIP, :TXT, :T2.

@prefix mt: <mit-travel@@#>.

{ [ mt:for :TRIP ].
  :TRIP k:destination__RoundTrip [ r:value :TXT ] }
  log:implies
{ :TRIP mt:destination :TXT }.

{ [ mt:for :TRIP ].
  :TRIP k:startingDate [ r:value :TXT ];
   k:endingDate [ r:value :T2 ].
}  log:implies
{ :TRIP mt:dates (:TXT :T2) }.