Inferring the Positions of Bodies from Specified Spatial Relationships