Function parse_nl_formula 

pub fn parse_nl_formula(
    ctx: &NlContext<'_>,
    text: &str,
) -> Result<Formula, NlError>

Parse a controlled sentence into a [Formula] (its right-hand-side Expr).