Xclingo trace for deontic conditionals

[ovidiomanteiga]

If in a deontic logic program an Xclingo trace is added to a deontic conditional like &obligatory{a |b}, it will only apply to the first of the two translated rules (the factual detachment), but it should apply to the two of them, potentially with slightly different texts. Example:

%!trace_rule {"It ought to be that if Jones goes, then he tells them he is coming."}
&obligatory{jones_tells | jones_goes}.

Translated program:

%!trace_rule {"It ought to be that if Jones goes, then he tells them he is coming."}
deolingo_obligatory{jones_tells} :- jones_goes.
deolingo_obligatory{jones_tells} :- deolingo_non_violated_obligation{jones_goes}.