Show TOC
exists_predicate
<
exists_predicate
>::= EXISTS <
subquery
>