Information supporting answer explanations are derived from proofs. One of the difficulties for humans to understand web agent proofs is that the proofs are typically described at the machine-level. In this paper, we ...