Space S2 | Property P112

is

Automatically deduced from the following: