ADDED: RDF proof tree visualization.