Space S111 | 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
T413
T344
T45
T74
T494
T764
T46
T122
T758
T765
T47
T106
T110
T49
T19