[DFDL-WG] Standard way of expressing semantics of DFDL when scoped properties are involved