16
dominates(climbed, mountain)
- dominates(N1, N2)
- immediately_dominates(N1, N2)
- chama 17, para
N1 = climbed e N2 = mountain: falha
- dominates(N1, N3)
- immediately_dominates(N1, N2)
- chama 18, para
N1 = climbed e N2 = N18: falha
- dominates(N2, N3)
Volta para 13