« first day (3624 days earlier)      last day (119 days later) » 

9:22 AM
> In a first-order logic statement, quantifications in the same type
(either universal quantifications or existential quantifications) can be
exchanged without changing the meaning of the statement, while the
exchange of quantifications in different types changes the meaning.

What does 'type' mean here?

https://en.wikipedia.org/wiki/Quantifier_(logic)
 

« first day (3624 days earlier)      last day (119 days later) »