A conjunctive query is specified as a Datalog rule.
to see why, we re-examine the proof: the large factor comes from assuming that all of R's first arguments which meet the PF definition are associated with exactly K min distinct second arguments.