ra :- nl, forall(na(S,_),ra(S)), nl.

ra(S) :- unidade_medida(ra,UM), ra(S,RA), fel2f(S,RA,UM).