Mid-sized axiomatizations of commonsense problems: A case study in egg crackingLeora Morgenstern2001Studia Logica