ax16
Axiom.
Axiom of Distinct Variables (1)
Arguments:
(sv),
(st),
(pr),
Distinct variable conditions:
(
,
),
Assertions:
(
(
)
(
))
(sv), 
(st), 
(pr), (sv), (st), (pr), , ), 
(
)
())