The infinitive form is have not has.
The structure of your sentence is of the form:
{propositional part of the predicate}{argument of predicate about the state being proposed}.
The sentence structure allows you a choice of either describing the state with an infinitive phrase, or with an existential phrase.
- {proposition}{infinitive state}.
- {proposition}{existential state}.
IOW,
- {proposition}{universal argument}.
- {proposition}{existential argument}.
Or, let me propose the polymorphic function,
- UniversalProposition predicate(Universal arg)
- ExistentialProposition predicate(Existential arg)
The use of to as an entry-point into the state restricts you to describe the state as an infinitive.
- State law requires her to {have auto-insurance} to drive.
- State law requires her to {have auto-insurance} before driving.
Implied/dropped to.
- State law requires her {have auto-insurance} before driving.
- She lets her children {eat non-kosher food}.
The propositional verb is requires, which is subjected to plurality rules. The infinitive argument is not subjected to plurality rules.
You could choose to describe the state as an existential state:
- State law requires that every driver {is covered by auto-insurance}.
- State law required that every driver {was covered by auto-insurance}.
- State law requires that all drivers {are covered by auto-insurance}.
- School regulation requires that a student {eats breakfast before lunch}.
- School regulation requires that every student {eats breakfast before lunch}.
Or as an infinitive:
- State laws require that every driver {have auto-insurance}.
- State laws require that a driver {have auto-insurance}.
- State laws required that a driver {have auto-insurance}.
- School regulation requires that every student {eat breakfast} before having lunch.
- School regulation requires that a student {eat breakfast} before having lunch.
Which form of argument to use
Therefore, it appears as our choice to either
- make a statement specific to the existential case
- or attempt a grandiose declaration of infinite and/or universal truth
Therefore, if one is to speak logically, the structure of their sentences should flow syllogistically,
- Universal declaration: School regulation accepts that students are precious and therefore requires that a student {eat breakfast} before having lunch.
- Specific existence: School regulation accepts that their students are precious and therefore requires that a student {eats breakfast} before having lunch.
However, this is also logical:
Universal predicate, existential instance argument.
School regulation accepts that students are precious and therefore requires that a student {eats breakfast} before having lunch.
But the following is not syllogistically fluent:
Instance predicate, universal argument.
School regulation accepts that their students are precious and therefore requires that a student {eat breakfast} before having lunch.
You see, an instance consumer can partake of a universal resource. OTOH, a universal consumer cannot normally partake of an instance resource. Look at the following and see which is logical and which is ironic:
- I live in my house by the ocean in Maine every day (universal), and therefore I could visit the beach by that house every Tuesday (instance).
- I drive to my house by the ocean in Maine from Vermont every Tuesday (instance), and therefore I could visit the beach of that house every day (universal).