ax10
Axiom.
Axiom of Quantifier Substitution
Arguments:
(sv),
(sv),
(pr),
Assertions:
(
(
)
(
))
(sv), 
(sv), 
(pr), (sv), (sv), (pr), 
(
)
())