casmaxima

sbcl: (* (sqrt (/ 250 2)) 3) => 33.54 meters, the factor that amplifies distance is the square root of the factor of signal strength.

Perhaps the ambiguity arises because we are omitting words: I'm afraid to tell you that the cat has been hit by a car. Now the question: What are you afraid of? has a non ambiguous answer: To tell you that something awful has happened.

Is maxima (computer algebra program)

assume(a>0); assume(b>0); is (a+b>0) gives true; is (a-b>0) gives unknown.

So perhaps some computer algebra with inference properties can be used to enhance LLMs.