Space S176 | Property P22

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
T615
T624
T625
T345
T272
T463
T119
T35
T535
T181
T364
T66
T148
T172
T328
T360
T347
T274
T384
T127
T248 ¬
T386
T31
T685 ¬