(or (not (cofinishes (whenfn |http://www.ksl.stanford.edu/projects/Aquaint/TonyHall.daml#|::|TonyHallTravelsFromJordanToBaghdad|) ?t2)) (equal-point (ending-point (whenfn |http://www.ksl.stanford.edu/projects/Aquaint/TonyHall.daml#|::|TonyHallTravelsFromJordanToBaghdad|)) (ending-point ?t2)))