Space S122 | Property P224

is not

Automatically deduced from the following: