Space S28 | Property P65
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 |
|---|---|---|
| T133 | ||
| T77 | ||
| T272 | ||
| T645 | ∧ ¬ | |
| T181 | ||
| T245 | ||
| T90 | ||
| T364 | ||
| T135 | ||
| T328 | ||
| T332 | ||
| T130 | ||
| T360 | ||
| T127 | ∧ ∧ ∧ | |
| T535 | ||
| T405 | ∧ ∧ | |
| T347 | ||
| T437 | ||
| T391 | ¬ ∧ ¬ | ¬ |
| T346 | ¬ | |
| T209 | ∧ | |
| T524 | ∧ ¬ ∧ ¬ | ¬ |