argument arg1 ["kill", "intent"] [ ] "murder"
argument arg2 ["witness"] ["unreliable"] "intent"
argument arg3 ["witness2"] ["unreliable2"] "-intent"
weight arg1 0.8
weight arg2 0.3
weight arg3 0.8
assumptions ["kill", "witness", "witness2", "unreliable2"]
-- Comments are allowed
-- also valid: standard "intent" BeyondReasonableDoubt
-- Propositions either as string literals or plain identifiers
standard "kill" scintilla
standard "intent" beyond_reasonable_doubt
standard "-intent" scintilla
standard murder scintilla
standard "-murder" scintilla
standard "unreliable" scintilla
standard "unreliable2" scintilla
standard witness scintilla
standard witness2 scintilla