| RefineSub
| RefineSuper
+type assign = path * path
+
type set_exp = SVar of svar
| RVar of rvar
| Ref of val_exp
| Pattern of val_exp
- | Relation of inverse * refine * path * set_exp * string list
+ | Relation of inverse * refine * path * set_exp * assign list
| Select of rvar * set_exp * boole_exp
| Union of set_exp * set_exp
| Intersect of set_exp * set_exp
| RefOf of set_exp
| Record of rvar * path
| VVar of vvar
- | Attribute of inverse * refine * path * val_exp
+ | Property of inverse * refine * path * val_exp
| Fun of string * val_exp
type query = set_exp