Space S153 | Property P155

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
T1
T251
T591
T552
T757
T602 ∧ ¬
T138 ¬
T833 ¬
T429 ∧ ¬ ∧ ¬
T40
T835 ∧ ¬
T590
T588
T209
T523
T750
T761
T846 ∧ ¬
T537
T888
T776