abstract Symbols = {

cat Var ;

fun X_Var : Var ;
fun Y_Var : Var ;

}