Eine solche Teilmenge sind die Horn-Formeln, das sind Konjunktionen von Disjunktionen, deren Disjunkte verneinte oder unverneinte Atome sind, wobei innerhalb einer solchen Disjunktion allerdings höchstens ein Atom unverneint sein darf.
ˌaɪnə zˈɔlçə tˈaɪlmɛŋə zɪnt diː hˈɔɾnfˈɔɾməln, das zɪnt kɔnjʊŋktsjˈoːnən fɔn dˌɪsjʊŋktsjˈoːnən, dˌeːrən dˈɪsjʊŋktə fɛɾnˈaɪntə ˌoːdɜ ˈʊnfɛɾnˌaɪntə atˈoːmə zɪnt, voːbˈaɪ ˈɪnɜhˌalp ˌaɪnɜ zˈoːlçən dˌɪsjʊŋktsjˈoːn ˈalɜdˌɪŋs hˈœkstəns aɪn atˈoːm ˈʊnfɛɾnˌaɪnt zaɪn dˈaɾf.