['they', 'prove', 'EmptyParameter', 'fault', 'EmptyParameter']
['<PRP>', 'indicate-78', 'EmptyParameter', "Synset('tennis_stroke.n.01')", 'EmptyParameter']
They are able to prove that the explosion wasn't their fault, effectively exonerating Enterprise.
<PRP> are Synset('able.a.01') to prove that the Synset('stroke.n.01') wasn't <PRP> fault, effectively exonerating <VESSEL>0.