automated reasoning, classical higher-order logic, Dyadic deontic logic E, Preference Models, semantic embedding.
