10
dominates(vp, mountain)
- dominates(N1, N2)
- immediately_dominates(N1, N2)
- chama 11, para
N1 = vp e N2 = mountain: falha
- dominates(N1, N3)
- immediately_dominates(N1, N2)
- chama 12, para
N1 = vp e N2 = N12:
- dominates(N2, N3)
- chama 13, para
N2 = v e N3 = mountain: falha
- chama 19, para
N2 = np2 e N3 = mountain:
Volta para 1