Space S125 | Property P65

is

References

Notice: This asserted property can be deduced from the other asserted traits for this object, due to the following theorems.
Id If Then
T85
T92
T459
T248 ¬
T78
T271
T460
T52 ∧ ¬
T11
T407
T408
T46
T93
T520
T768 ∧
T560
T720
T300
T741 ∧
T391 ∧ ¬