+val relation_ex : MQIConn.handle ->
+ bool -> MathQL.refine -> MathQL.path -> MathQL.resource_set -> MathQL.assign list-> MathQL.resource_set
+
+
+val relation_galax_ex : MQIConn.handle ->
+bool -> MathQL.refine -> MathQL.path -> MathQL.resource_set -> MathQL.assign list -> MathQL.resource_set
+