Proof Reconstruction: Parsing Proofs (2015)