4
dominates(np1, mountain)
- dominates(N1, N2)
- immediately_dominates(N1, N2)
- chama 5,
para N1 = np1 e N2 = mountain: falha
- dominates(N1, N3)
- immediately_dominates(N1, N2)
- chama 6, para N1
= np1 e N2 = N6: N2 = joe
- dominates(N2, N3)
- chama 7, para N2
= joe e N3 = mountain: falha
Volta para 1