ADDED: evidence tracking on arity select/ambig. remover