(during (whenfn |http://www.ksl.stanford.edu/projects/aquaint/TonyHall.daml#|::|TonyHallMeetsMubarak|) (time-interval-fn (the-time-point (year 2000) (month 4) (day 17) (hour 0) (minute 0)) (the-time-point (year 2000) (month 4) (day 18) (hour 0) (minute 0))))