#binary+ npr = ((<>,<>),(<>,<('+','+')>))