ax-sym
Axiom.
Arguments:
(obj),
(obj),
Assertions:
((
)
(
))
(obj), 
(obj), (obj), (obj), 
)
())