Space S41 | 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
T177
T252
T273
T264
T448
T100
T460
T249 ¬
T287
T121
T66
T231
T308 ¬
T523
T750
T122
T463
T846 ∧ ¬
T175
T888
T776