The main file is "travel". It is accompanied by 10 scenarios
in which we discuss the translations we need to make the
system work. To actually run this you need to:
* download and install LParse and Smodels from

  http://www.tcs.hut.fi/Software/smodels/

* download and install MKAtoms from

  http://krlab.cs.ttu.edu/~marcy/mkatoms/


The command line is:

lparse --true-negation scenario0 travel | smodels 0 | mkatoms

(mkatoms just displays the model one atom per line.
It is not really essential.)

If you have any questions please do not hesitate to ask.
Hoping to see you soon in Florida.
We are really looking forward to hearing your comments.