Philosophy:Horn logic