Inference Web in Action: Lightweight Use of the Proof Markup Language · Study