Ha = Antonio es hombre;     Ma = Antonio es mortal