This is the topic of the third article in this special issue: Jørgensen and Lønning propose a unification-based grammar implementation of a formal semantic analysis of preposition semantics, and demonstrate its application in Norwegian→English MT.
combinations of pure locative relation markers and prepositions which are specified for place values are ruled out, and no embedded locative relations are allowed in the semantic structure of a single locative expression.