val(sn,S,V) :- sn(S,V).
val(na,S,V) :- na(S,V).
val(n,S,V)  :- n(S,V).
val(nm,S,V)  :- nm(S,V).
val(nin,S,V) :- nin(S,V).
val(nal,S,V) :- nal(S,V).
val(nfr,S,V) :- nfr(S,V).
val(nes,S,V) :- nes(S,V).
val(nit,S,V) :- nit(S,V).
val(p,S,V)  :- p(S,V).
val(g,S,V)  :- g(S,V).
val(ma,S,V) :- ma(S,V).
val(ve,S,V) :- ve(S,V).
val(d,S,V) :- d(S,V).
val(cd,S,V) :- cd(S,V).
val(ra,S,V) :- ra(S,V).
val(raa,S,V) :- raa(S,V).
val(ria,S,V) :- ria(S,V).
val(rca,S,V) :- rca(S,V).
val(pf,S,V) :- pf(S,V).
val(pe,S,V) :- pe(S,V).
val(ppiv,S,V) :- ppiv(S,V).
val(spiv,S,V) :- spiv(S,V).
val(tpiv,S,V) :- tpiv(S,V).
val(ppij,S,V) :- ppij(S,V).
val(spij,S,V) :- spij(S,V).
val(tpij,S,V) :- tpij(S,V).
val(crm,S,V) :- crm(S,V).

simbolo_e_valor(Relação,S) :-
   sn(S,SN),
   val(Relação,S,Valor),
   write("("), write(SN), write(','), write(Valor), write(")").

todos(Relação) :- nl, forall(s(S),simbolo_e_valor(Relação,S)), nl.