A first-order logic formalisation of consent theory-based ethics, intended for eventual use as a machine ethics system.