ByNobleID
    A Clausal Logic for Deontic Action Specification. | NobleID