building Splus slowly but surely: for each prq in a ps, we assign a list
of three tuples of prq', id, act'