ByNobleID
    Default Reasoning as Circumscription. | NobleID