SyML chap3.5 model