A central topic within the field of machine ethics, and other fields where moral reasoning is needed, is to incorporate large quanta of (moral) rules represented in natural language using a formal specification that can ...