Space S100 | Property P115

is not

Automatically deduced from the following: