Space S105 | Property P58
is not
References
Notice:
This asserted property can be deduced from the other asserted traits for this
space, due to the following theorems.
| Id | If | Then |
|---|---|---|
| T1 | ||
| T101 | ∧ | |
| T17 | ||
| T121 | ||
| T156 | ||
| T18 | ||
| T122 | ||
| T281 | ||
| T268 | ||
| T9 | ||
| T124 | ∧ | |
| T98 | ||
| T302 | ∧ ∧ | |
| T26 | ∧ | |
| T544 | ||
| T363 | ∧ | |
| T300 | ||
| T335 | ||
| T584 | ¬ | |
| T545 | ∧ | |
| T613 | ||
| T766 | ∧ | |
| T622 | ∧ ∧ ¬ | |
| T583 | ||
| T769 | ∧ | |
| T590 | ||
| T40 |