Space S125 | 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
T85
T460
T248 ¬
T443
T407
T52 ∧ ¬
T459
T408
T46
T271
T768 ∧
T447
T11
T300
T334 ∧
T391 ∧ ¬