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
T21
T833 ¬
T78
T565
T920 ∧
T864
T218
T922 ¬
T347
T108 ∧
T633 ∧
T46
T119
T73 ∧