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

pf(S) :- unidade_medida(pf,UM), pf(S,PF), fel2f(S,PF,UM).