% ----------------------------------------------------------------------------- % Name: QUOTED NUMBERS % % Predicate names can be single quoted numbers. % ----------------------------------------------------------------------------- fof(an,axiom,p('123.456')). fof(a,conjecture,p('123.456')).