Space S49 | Property P33

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
T454
T293
T455 ¬
T74
T303
T122
T106
T72
T124
T3
T213
T544
T600
T584 ¬
T545
T622 ∧ ¬