25
dominates(the, mountain)
dominates(N1, N2)
immediately_dominates(N1, N2)
chama
26
, para N1 = the e N2 = mountain: falha
dominates(N1, N3)
immediately_dominates(N1, N2)
chama
27
, para N1 = the e N2 = N
27
: falha
dominates(N2, N3)
Volta para
22