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

pe(S) :- unidade_medida(pe,UM), pe(S,PE), fel2f(S,PE,UM).