〜はずだ

時刻表によると、次の電車は15時30分に到着する「はずだ」。

The grammar pattern "～ことになっている" (koto ni natte iru) indicates that something is decided, arranged, or an established rule or custom. It means "it has been decided that," "it is supposed to be," or "it is a rule that." This pattern refers to external arrangements, schedules, or decisions made by others, rather than the speaker's personal intentions.

規則、習慣、予定、決定などによって「～することになっている」状態を表します。個人的な意志ではなく、外部によって決められた事柄について使われます。