جمله در قالب فرمول زير به اين معناست كه عملى در گذشته بايد انجام مى‌شد اما نشد :

should + have + pp