Pueden ser tratados los términos inexistentes de forma que resuelvan un predicado que de otra forma no podría hacerse.