Represent the rules as two ATM-systems, one for reasoning the voluntariness of an action, and the other one for reasoning the moral quality of an action.