 “Thus \(\alpha P_{\text{lc}} \beta\) means, roughly speaking, that \(\beta - \alpha\) goes on longer than \( \alpha - \beta\), just as \(\alpha P_{\text{cl}} \beta\) means that \( \alpha - \beta\) begins sooner. This if \(P\) is the relation of earlier and later in time, and \(\alpha\) and \(\beta\) are the times when \(A\) and \(B\) respectively are out of bed, “\(\alpha P_{\text{cl}} \beta\)” will mean that \(A\) gets up earlier than \(B\) and “\(\alpha P_{\text{lc}} \beta\)” will mean that \(B\) goes to bed later than \(A\).” (PM II, 401)