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
T8
T245
T9
T284
T251
T565
T249 ¬
T78
T266
T52 ¬
T431 ¬
T46
T111
T73