When 'is G' is a phase sortal predication, it is elliptical for 'is G at t', making the temporal ind...