Changed NodeTable argument from 'negated' to 'truth value'. Changed to code to correspond to change.