Function parse 

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

Sonar domain parser. Extracts sonar parameters from natural language and builds a constraint problem.