add new triples' patterns, output format changed