조건 부분에 들어가는 문장은 퍼스트오더 랭귀지의 포뮬러인가요?? 아니면 그냥 1차논리와 관계없나요?