19

• dominates(N1, N2)
• immediately_dominates(N1, N2)
• chama 20, para N1 = np2 e N2 = mountain: falha
  
• dominates(N1, N3)
• immediately_dominates(N1, N2)
• chama 21, para N1 = np2 e N2 = N²¹:
• N2 = det
• N2 = n
  
• dominates(N2, N3)
• chama 22, para N2 = det e N3 = mountain: falha
• chama 28, para N2 = n e N3 = mountain:
• ok
• outra: falha
  

Volta para 10