['effort', 'succeed', 'EmptyParameter', 'EmptyParameter', 'EmptyParameter']
["Synset('action.n.01')", 'succeed-74-1', 'EmptyParameter', 'EmptyParameter', 'EmptyParameter']
He is certain that the resistance effort is succeeding.
<PRP> is Synset('certain.a.04') that the Synset('device.n.01') Synset('action.n.01') is succeeding.