Complex sentence: The topological space (0,ω 1) is sequentially compact but not compact but it is countably compact and thus not Lindelöf.
Split into simpler sentences: The topological space (0,ω 1) is sequentially compact but not compact. It is however countably compact and thus not Lindelöf.