Determines whether term -- the result of a resolution step in context -- counts as a successful demonstration.