A formalism for the treatment of polysemy of vertical prepositions in Brazilian Portuguese
A Spatial Logic based on Regions and Connection