deontic logic examples

[Necr0x0Der]

• It would be nice if top-level (deontic_logic/) readme.md in the folder contained brief description on what subfolders and files in top-level folder contain
• rules.metta in deontic_logic has unclosed parentheses. Does it really work, or is it not used?
• rudementary_modal_logic.metta has commented out !(get-type (necessary a)) and only !(necessary 5). Is it ok? Some comments in the file are needed what to expect.
• functional_examples/infer2.metta contain :-- (op &p) (AND (om &p) (pe &p))) with missing opening parentheses. Looks wrong.
• functional_examples/sea_fence_2.metta outputs [False] [True], while comments suppose [True] [False]. Which one is correct?
• metta_atlas_examples/ctDTS.metta returns empty result. Is it right?
• It is not clear what is expected in other examples. It would be nice to have expected output in comments to !-expressions to be sure that the result is as expected, or corresponding comments if it is wrong.