[Dylan16807]

Both your points can be addressed by: It's not a choice between infer everything and infer nothing.

[fooker]

It's worse that infer everything.

It's infer everything and make sure there's only one possible interpretation, with certain exceptions.