Clafer model view