% ----------------------------------------------------------------------------- % Name: DEFINED TERMS % % Predicate, function and constant names can be defined, which means they have % the form $[[:alnum]_]+. % ----------------------------------------------------------------------------- fof(a, axiom, six = $times_int(2,3)). fof(b, conjecture, six = 6).