一、量词和本体论承诺