sml: add test for parent which models a refined concept