DRY and hierarchical tree display in semantics