Space S38 | Property P123

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
T2
T138 ¬
T569
T67
T535
T66
T559
T82
T273
T702 ∧ ¬ ¬
T112
T433 ∧ ¬
T113
T430
T114
T588
T86
T590
T636
T32
T40
T684