저문장을 술어논리로 표현가능함????