 The normal form of definitions can be specified as follows. The definitions of names \(a, n\)-ary predicates \(H\), and \(n\)-ary function symbols \(f\) must be, respectively, of the following forms: