Display quantifiers graphically in tops
Lower min_level value from 4 to 3 for tops