En el ejemplo de árboles, el predicado "e is AVacio" es cierto cuando el árbol "e" es efectivamente un árbol vacío y "e is Nodo" es cierto cuando "e" es un nodo.