Circumscription--A Form of Non-Monotonic Reasoning