For instance, legal language HAS to be imprecise, otherwise no lawyer would ever agree to anything ever. So much negotiation every day goes into the subtle imprecision of clauses in contracts.

That's why there are courts -- to navigate the imprecision of both law and contracts and to give intelligence to ambiguity that could never be replaced by first order logic.