ax12
Axiom.
Axiom of Quantifier Introduction
Arguments:
(sv),
(sv),
(sv),
Assertions:
(
(
)
(
(
)
((
)
(
))))
(sv), 
(sv), 
(sv), (sv), (sv), (sv), 
(
)
(()(()())))