F-bounded quantification