semi-symbolic