Automatic coherence-driven inference on arguments