Space S101 | Property P44

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
T245
T284
T78
T565
T864
T218
T266
T108
T431 ¬
T46
T111
T73