No obstante, la forma de escribir las cláusulas de Horn es al contrario de lo habitual.