diff --git a/src/grammar.rs b/src/grammar.rs
index 4f6605e..359369c 100644
--- a/src/grammar.rs
+++ b/src/grammar.rs
@@ -1430,7 +1430,8 @@ impl Grammar {
         )
     }
 
-    fn parse_statement(
+    /// Parse a statement into a formula. Returns None if the statement is a syntactic axiom.
+    pub fn parse_statement(
         &self,
         sref: &StatementRef<'_>,
         nset: &Nameset,