13
dominates(v, mountaim)
- dominates(N1, N2)
- immediately_dominates(N1, N2)
- chama 14, para
N1 = v e N2 = mountain: falha
- dominates(N1, N3)
- immediately_dominates(N1, N2)
- chama 15, para
N1 = v e N2 = N15: N2 = climbed
- dominates(N2, N3)
- chama 16, para
N2 = climbed e N3 = mountain: falha
Volta para 10