Space S76 | Property P22

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
T181
T520
T534
T720
T1
T500
T139
T386
T119
T54
T390
T740
T151
T383
T410
T742