∃
Defined symbol.
Type:
pr
Arguments:
(sv),
(pr),
(sv), 
(pr), (sv), (pr),