Space S196 | Property P42

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
T112
T186
T113
T121
T102
T238
T115
T122
T270
T297
T146
T175
T299
T282
T776
T250 ¬
T286
T40
T888
T308 ¬
T846 ∧ ¬