(~p

p) means that p is allowed (at least as good as ~p)

Op

(~p < p) means that p is a moral obligation (one ought to p)

An exemplaric deontic result is:

Op

~(A(~p))