A Formalization of Metaphors and Image-Schemas in User Interfaces · Study