A first-order logic sentence that consists of at least one universal quantifier and at least one existential quantifier.