diff --git a/src/ast/expr.rs b/src/ast/expr.rs
index aca827f..0bf9b79 100644
--- a/src/ast/expr.rs
+++ b/src/ast/expr.rs
@@ -75,10 +75,20 @@ impl GazType for Literal {
 #[builder(setter(into))]
 pub struct Variable {
     type_: BaseType,
-    quantifer: Quantifier,
+    quantifier: Quantifier,
     name: String,
 }
 
+impl Variable {
+    pub fn get_name(&self) -> String {
+        self.name.clone()
+    }
+
+    pub fn get_quantifier(&self) -> Quantifier {
+        self.quantifier
+    }
+}
+
 impl ToString for Variable {
     fn to_string(&self) -> String {
         self.name.clone()