added more prov triples to resulting file for verification