Without quantified predicates, 'All humans are mortal' entails the nonsensical 'Mortals are all huma...