Space S154 | Property P174

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
T184
T112
T185
T113
T217
T121
T115
T282
T268
T501
T122
T146
T302
T508
T573