Space S39 | Property P37

is not

References

Notice: This asserted property can be deduced from the other asserted traits for this space, due to the following theorems.
Id If Then
T139
T562
T66
T390
T138 ¬
T833 ¬
T273
T112
T383
T835 ∧ ¬
T100
T113
T742
T248 ¬
T287
T121
T115
T407
T308 ¬
T523
T750
T122
T516
T846 ∧ ¬
T175
T888
T776