Besonderhede van voorbeeld: -6551458851444108847

English

This is because the empty clause cannot be a ground instance of any other clause.

Spanish

Esto se debe a que la cláu- sula vacía no puede ser una iristancia base de cualcluier otra cláusula.