(<= (query ?loc ?st-min-int ?day1end ?int1day ?visit ?st-max-tp ?st-min-tp ?day1start) (and (location-of (starting-point (whenfn |http://www.ksl.stanford.edu/projects/aquaint/TonyHall.daml#|::|TonyHallVisitsIraq|)) ?st-min-tp ?st-max-tp) (time-point-to-int-fn ?st-min-tp ?st-min-int) (magnitude ?int1day day 1) (+ ?st-min-int ?int1day ?day1start) (+ ?day1start ?int1day ?day1end) (during (whenfn ?visit) (time-interval-fn (the-time-point ?day1start) (the-time-point ?day1end))) (located ?visit ?loc)))