Space S61 | Property P17

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
T16
T410
T544
T408
T442
T86
T424
T32
T228