Source: p 456 (chart), 457 (Quote), A Concise Introduction to Logic (12 Ed, 2014) by Patrick Hurley
In these examples, the expressions [...] [that I coloured in green], and so on are called statement functions. A statement function is the expression that remains when a quantifier is removed from a statement. It is a mere pattern for a statement. It makes no definite assertion about anything in the universe, has no truth value, and cannot be translated as a statement.
How are the 2 italicised sentences correct? They appear to debase and denigrate the green which (to me) appear truly important, because:
am I correct that the green expressions match, and so assert, the red ('S are P')?
I know that the purple (and not the green) explains the Universal Quantifiers 'all' and 'no'.