Vocabulary
ホーン節
ホーンせつ
Horn clause
noun