Modelization of Semantic Structures of Conditionals and Modals based on Tropes