Assertion: algorithm | /r/CapableOf | heed the downward closure lemma
Facets:
Source sentences:
text: At each step, the algorithm is assumed to generate the candidate sets from the large item sets of the preceding level, heeding the downward closure lemma.