diff --git a/src/parse.rs b/src/parse.rs
index 20e5499..0cc40c4 100644
--- a/src/parse.rs
+++ b/src/parse.rs
@@ -483,9 +483,9 @@ fn formula_precedence_0(i: &str) -> IResult<&str, crate::Formula>
 {
 	alt
 	((
+		comparison,
 		predicate,
 		boolean,
-		comparison,
 		formula_parenthesized
 	))(i)
 }
@@ -845,6 +845,13 @@ mod tests
 					Box::new(crate::Term::Integer(9)),
 				),
 			))));
+
+		assert_eq!(crate::formula("n = 5"), Ok(("",
+			crate::Formula::Equal
+			(
+				crate::Term::Symbolic("n".to_string()),
+				crate::Term::Integer(5),
+			))));
 	}
 
 	#[test]