キーワードQuantifi cation theory type I