Space S54 | Property P50

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
T4
T19
T42
T76
T248 ¬
T39
T87
T272
T295 ¬
T40
T598
T364
T556 ∧ ¬
T360
T344