Space S191 | Property P22
is not
References
- No references available. If appropriate, please consider contributing a reference.
Notice:
This asserted property can be deduced from the other asserted traits for this
space, due to the following theorems.
| Id | If | Then |
|---|---|---|
| T355 | ||
| T8 | ||
| T359 | ||
| T54 | ||
| T9 | ||
| T362 | ||
| T169 | ||
| T35 | ||
| T386 | ∧ | |
| T140 | ||
| T148 | ∧ | |
| T384 | ∧ |