Is it not a horn clause? I meant a Horn clause.
Is it not a horn clause? I meant a Horn clause.