['forgery', 'prove', 'EmptyParameter', 'EmptyParameter', 'EmptyParameter']
["Synset('transgression.n.01')", 'declare-29.4', 'EmptyParameter', 'EmptyParameter', 'EmptyParameter']
The forgery could be proven.
the Synset('transgression.n.01') could be proven.