Function parse_claim 

pub fn parse_claim(
    claim: &str,
    domain: &str,
) -> Result<ConstraintProblem, String>

Parse a natural language claim into a constraint problem.