動詞た形 ことはない 可表示 沒經驗 ，為 動詞た形 ことがない 的衍生用法，此處的 は 為 對比，常以 ...は...ことはあるが、...ことはない 呈現。
動詞た形
ことはない
沒經驗
ことがない
は
對比
...は...ことはあるが、...ことはない
動詞た形 ことにする 可表示將 沒發生過 動作視為 發生過，翻譯成 當作。
ことにする
沒發生過
發生過
當作
動詞た形 ことがある 可表示以 發生過 的 經驗。
ことがある
經驗
動詞た形 はずだった 可表示 一直以為 的 應該做了，但事實上 卻沒做。翻譯成 一直以為應該做了卻沒做。
はずだった
一直以為
應該做了
卻沒做
一直以為應該做了卻沒做
動詞た形 はずだ 可表示說話者的 90%推測 的 推測的應該做了，在普通体可省略 だ。翻譯成 應該做了。
はずだ
90%推測
推測的應該做了
だ
