Skolemization

1. REDIRECT Skolem normal form

{{Redirect category shell|1=

{{R reltop}}

}}