It's a pity they are traveling on uncomfortable buses
→They wish they weren't traveling on uncomfortable buses
----------------------------------------------------------------------------------------
Công thức $Wish$ ở hiện tại:
-Khẳng định: S + wish(es) + (that) + S + V-ed
-Phủ định: S + wish(es) + (that) + S + not + V-ed