vado(1,X,Y) :-  aperta(X,Y).
vado(1,X,Y) :- aperta(Y,X).
vado(s(I),X,Y) :- vado(1,X,Z), vado(I,Z,Y).


stanza(a).
stanza(b).
stanza(c).
stanza(d).
aperta(c,b).
aperta(c,d).
