Interlingual Machine Translation Notes: The Provenance Markup Language (PML) (originally called Proof Markup Language) is an interlingua for representing and sharing knowledge about how information published on the Web was asserted from information sources…