Use n-ary sums and products for NDP's generic representation