Complex sentence: For any run ρ let Inf (ρ) be the set of states that occur infinitely often in ρ, which will be helpful in defining following acceptance conditions.
Split into simpler sentences: For any run ρ, let Inf (ρ) be the set of states that occur infinitely often in ρ. This definition will be helpful in defining following acceptance conditions.