Pinning down polysemy: A formalisation for a Brazilian Portuguese preposition. (March 2017)