The circumscription theory: a clarification, amplification, and reformulation · Study