Space S162 | Property P190

is

Automatically deduced from the following: