Symbol: DEFMAXTERMREQS