Space S154 | Property P50

is

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
T113
T6
T115
T46
T7
T146
T269
T119
T282
T283