단순상 : Lt

단절상(t 전에 완료) : ∃x∃y(xBt&yBt&xBy&∀s((xBs&sBy)→Ls))

완료상(t에 완료) : ∃x(xBt&∀y((xBy&yBt)→Ly))

진행상(t 전에 시작, t 후에 완료) : ∃x∃y(xBt&tBy&∀s((xBs&sBy)→Ls))

시작상(t에 시작) : ∃x(tBx&∀y((tBy&yBx)→Ly))

예정상(t 후에 시작) : ∃x∃y(tBx&tBy&xBy&∀s((xBs&sBy)→Ls))

ㅇㅈ?