Space S37 | Property P171

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
T6
T7
T58
T312
T194
T751
T192
T435
T324