Space S57 | Property P85

is not

References

  • No references available. If appropriate, please consider contributing a reference.
Notice: This asserted property can be deduced from the other asserted traits for this space, due to the following theorems.
Id If Then
T169
T615
T138 ¬
T624
T67
T410
T626
T625
T417
T408
T207
T415
T86
T538
T32
T7
T787
T196
T610