31
dominates(mountain, mountain)
- dominates(N1, N2)
- immediately_dominates(N1, N2)
- chama 32, para
N1 = mountain e N2 = mountain: falha
- dominates(N1, N3)
- immediately_dominates(N1, N2)
- chama 33, para
N1 = mountain e N2 = N33: falha
- dominates(N2, N3)
Volta para 28