Lines Matching full:satisfies
470 <para>Note also that each tree entry with children in the example satisfies an