Space S112 | 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
T245
T264
T181
T77
T332
T268
T328
T122
T407
T535
T256
T195
T562
T520
T759
T792
T720
T757
T741
T524 ∧ ¬ ∧ ¬ ¬
T391 ¬ ∧ ¬ ¬