Metadata
Author: Literature
Data
English[en]
Our second example makes use of Skolemization and involves clauses that are not definite clauses.
Spanish[es]
Nuestro segundo ejemplo hace uso de la Skolemización y trata con cláusulas que no son positivas.