pub fn parse_predicate(text: &str) -> Result<Predicate, String>
Parse a predicate. An error names what the predicate grammar does not accept; the caller may still evaluate the whole text as a Polydat expression.