LTLを一つの話題で続けるのは大変そうだから、インスタンスによって話題の切り替わりが1日だったり、1時間だったりはするだろうけど。