Function compile_pragmatic 

pub fn compile_pragmatic(input: &str) -> Result<String, ParseError>

Compile with conversational (scalar) implicature enrichment (§8.7). The literal compile output is unchanged; this adds the +> Implicature(…) line.