Space S153 | Property P155
is
References
Notice:
This asserted property can be deduced from the other asserted traits for this
space, due to the following theorems.
| Id | If | Then |
|---|---|---|
| T3 | ||
| T591 | ||
| T600 | ||
| T757 | ||
| T602 | ∧ ∧ ¬ | |
| T138 | ¬ | |
| T833 | ¬ | |
| T429 | ∧ ¬ ∧ ¬ | |
| T40 | ||
| T835 | ∧ ¬ | |
| T590 | ||
| T588 | ∧ ∧ | |
| T209 | ∧ | |
| T523 | ∧ | |
| T750 | ||
| T761 | ∧ | |
| T846 | ∧ ∧ ¬ | |
| T537 | ∧ | |
| T888 | ||
| T776 |