(during (whenfn ?visit) (time-interval-fn (the-time-point ?day1start) (the-time-point ?day1end))) (whenfn ?visit) |http://www.ksl.stanford.edu/projects/aquaint/TonyHall.daml#|::|TonyHallMeetsMubarak| (time-interval-fn (the-time-point ?day1start) (the-time-point ?day1end))