단항 한량 (monadic quantification) 어떤 변항 앞에 나오는 각 대문자가 한 번에 오직 하나의…