ETS develops assessments for K-12 statewide as well as entry to US tertiary and quaternary education institutions.
∃x ∃y (Develop(eTS, x) ∧ StateWideAssesment(x) ∧ Develop(eTS, y) ∧ AssociatedWith(y, entryToUSEducationInstitution))