A first order theory of common sense object positioning