Axiomatize the following sentence. Note that all actors are in boldface.
"Joe drove a car from Austin to San Antonio on I-35."
For the role for I-35, look at #$trajectoryPassesThrough and its spec-preds.