Great, thank you very much for your explanation! I now get that the sentence describes a new example predicate that is not connected to the sentence before (“S

Great, thank you very much for your explanation! I now get that the sentence describes a new example predicate that is not connected to the sentence before (“S includes at least half of the elements of [n]”). This makes sense. Thank you for your thoughts.