1

• dominates(N1, N2) :-
• immediately_dominates(N1, N2)
• chama 2, para N1 = s e N2 = mountain: falhou
  
• dominates(N1, N3) :-
• immediately_dominates(N1, N2)
• chama 3, para N1 = s e N2 = N³:
• N2 = np1
• N2 = vp
  
• dominates(N2, N3)
• chama 4, para N2 = np1 e N3 = mountain: falha
• chama 10, para N2 = vp e N3 = mountain:
• ok
• outra: falha