Space S39 | Property P37
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 |
|---|---|---|
| T562 | ||
| T66 | ||
| T139 | ||
| T138 | ¬ | |
| T833 | ¬ | |
| T273 | ||
| T112 | ||
| T390 | ||
| T835 | ∧ ¬ | |
| T100 | ||
| T113 | ||
| T383 | ||
| T248 | ¬ | |
| T287 | ||
| T114 | ||
| T742 | ∧ ∧ | |
| T308 | ∧ ∧ | ¬ |
| T523 | ∧ | |
| T750 | ||
| T509 | ∧ | |
| T846 | ∧ ∧ ¬ | |
| T11 | ||
| T121 | ||
| T888 | ||
| T271 | ||
| T122 | ||
| T776 | ||
| T175 | ∧ |