making planner NAL rule conform: truth value, derivation chain, Todo: also evidental base.