... we supposed to know in this case that ... -----> (P) from the formal logic above? And, more importantly, how ... this kind of lukewarm logic is okay, and ... guess is that the formal logic translation of step ... answers.
In this question LDP + SDO -> ...