Space S164 | Property P24

is

Automatically deduced from the following: