Aristotle's theory of essential predication holds that 'human being' analytically entails 'animal' v...