Space S52 | Property P64

is not

Automatically deduced from the following: