Normative Parsing

The core function of normative parsing is classifying the modal force of a legal statement. The system must distinguish between:

• Obligation: Actions that must be performed (signaled by 'shall', 'must', 'is required to')
• Permission: Actions that may be performed (signaled by 'may', 'is authorized to', 'has the right to')
• Prohibition: Actions that must not be performed (signaled by 'shall not', 'must not', 'is forbidden from')

This tripartite classification maps directly to deontic logic operators and forms the foundation for constructing obligation, permission, and prohibition graphs.

Normative parsing decomposes each legal sentence into a structured semantic triplet:

• Actor (Bearer): The legal subject upon whom the norm operates (e.g., 'the licensee', 'the Administrator', 'any person')
• Action: The specific conduct being regulated (e.g., 'file a report', 'disclose information', 'cease operations')
• Object/Target: The entity or datum to which the action applies (e.g., 'annual financial statements', 'personally identifiable information')

This triplet structure enables downstream rule-to-fact binding, where case facts are matched against the actor and action predicates to trigger legal conclusions.

Legal norms rarely operate unconditionally. Normative parsing must identify and structure conditional predicates that gate the application of a norm:

• Antecedent conditions: Facts that must be true for the norm to activate ('If a data breach affects 500 or more residents...')
• Exception clauses: Carve-outs that suspend the norm ('...unless the data was encrypted')
• Temporal triggers: Time-bound conditions ('...within 30 days of discovery')

These predicates are parsed into conditional branching logic structures, enabling automated systems to traverse decision pathways based on factual inputs.

Statutory language is dense with definitional cross-references that normative parsers must resolve to determine the precise scope of a norm:

• Internal definitions: Terms defined elsewhere in the same statute ('as defined in section 101(4)')
• External incorporations: References to other statutes or regulations ('pursuant to the Securities Act of 1933')
• Entity normalization: Mapping varied textual mentions ('the Commission', 'the SEC', 'the agency') to a single canonical identifier

Failure to resolve these references produces incomplete or incorrect deontic structures, undermining the accuracy of downstream compliance checking.

When multiple legal provisions interact, normative parsing surfaces deontic conflicts—situations where the same action is simultaneously classified under incompatible modalities:

• Obligation-Prohibition conflict: One provision requires an action while another forbids it
• Obligation-Permission asymmetry: A subordinate rule permits what a superior rule mandates
• Temporal conflict: Different versions of a statute impose contradictory norms during a transition period

These conflicts are resolved using statutory hierarchy modeling (constitution > statute > regulation) and interpretive canons such as leges posteriores (later law prevails).

Normative parsing must capture the temporal dimensions of legal rules to determine which version of a norm applies at a given point in time:

• Effective dates: When a norm becomes operative
• Sunset provisions: When a norm automatically expires
• Transitional rules: Special norms governing the period between old and new regimes
• Retroactivity indicators: Language specifying whether a norm applies to past conduct

This temporal modeling integrates with statutory amendment tracking systems to maintain a versioned, historically accurate representation of the legal corpus.

The formal branch of modal logic that provides the mathematical calculus for normative parsing. It defines the operators O (obligation), P (permission), and F (prohibition) and their logical interrelationships.

• O(p) → P(p): If an action is obligatory, it is implicitly permitted.
• F(p) ↔ ¬P(p): A prohibition is logically equivalent to the absence of permission.
• Contrary-to-duty paradoxes: Formal challenges in modeling conditional obligations that arise when a primary duty is violated.

A directed knowledge graph that computationally represents mandatory duties extracted via normative parsing. Each edge connects an actor node to an action node with the modality 'obligation'.

• Captures duty-bearer and beneficiary relationships.
• Enables automated compliance checking by traversing the graph against a set of factual predicates.
• Integrates with temporal reasoning to model deadlines and effective dates.

A structured semantic network representing actions that are legally forbidden. Normative parsing identifies the actor, the prohibited action, and any conditional exceptions.

• F(p) edges are mutually exclusive with obligation edges for the same action.
• Used in normative conflict detection to flag contradictory legal rules.
• Foundational for building regulatory compliance engines that must identify violations.

The upstream computational task that feeds normative parsing pipelines. It identifies IF-THEN conditional structures within unstructured statutory text.

• Conditional predicate: The factual scenario that triggers the rule.
• Deontic consequent: The obligation, permission, or prohibition that results.
• Extracted rules are then decomposed by normative parsers into their actor-action-modality triples.

The algorithmic process of identifying contradictory deontic statements within a parsed body of law. A conflict exists when the same action is classified as both obligatory and prohibited for the same actor under identical conditions.

• Resolved using statutory hierarchy modeling (lex superior derogat legi inferiori).
• Temporal conflicts are handled by temporal regulatory logic (lex posterior derogat legi priori).
• Critical for ensuring coherent outputs from automated legal reasoning systems.

The formal computational modeling of statutory exemptions and carve-outs that override a general deontic rule. Normative parsers must identify exception clauses and link them to the rule they modify.

• General rule: 'No vehicles in the park' (prohibition).
• Exception: 'Unless authorized by permit' (permission conditional on a predicate).
• Failure to model exceptions leads to false positive compliance violations.