Description of fixed_quantifier
( unsigned_integer )