发送短信: Complexity of Nested Circumscription and Abnormality Theories