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

ma(S) :- unidade_medida(ma,UM), ma(S,MA), fel2f(S,MA,UM).