law_argue
How robust a conclusion is: the map of the dispute under the argumentation profile The answer falls into four classes: SKEPTICALLY_ACCEPTED — the conclusion is invulnerable (it survives in the grounded extension); CREDULOUSLY_ACCEPTED — merely defensible (there is a position for it and a position against); REJECTED — it survives nowhere; NO_ARGUMENT — there are no arguments at all. It builds ALL arguments out of the facts and the rules of the instrument (chains that did not fire in ordinary inference included), the rebut/undermine/undercut attacks and the defeats by priority. Predicate names come from law_packages. On large instruments a refusal by cap is possible — narrow facts or raise limits.maxArguments.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| args | No | the arguments of the predicate | |
| facts | No | facts of the case: [{predicate, args, provenance, negated?}]. provenance is a required object; {} is allowed, its fields are optional, and evidence is not required. The package EvidencePolicy reads confidence, not the host | |
| limits | No | the caps of the profile: maxArguments (64), maxExtensions (8), maxUndecided (16) | |
| context | No | Explicit temporal context: timezone is an IANA name; decisionTime and knowledgeTime are complete Instants with UTC or an offset, preserved unchanged. legalTime is also required with context; a profile may require all these fields | |
| package | No | narrow the question to one package of law | |
| legalTime | No | the date of the law (YYYY-MM-DD) | |
| predicate | Yes | the conclusion whose robustness is being measured |