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