>>362
述語論理では言明は主語と述語に分解されているんだよ。