us/statute/42/426/h/1

loading…

2 rules

Subsection (b) shall be applied as if there were no requirement for any entitlement to benefits, or status, for a period longer than 1 month.

in view

Whole section

Encodings · 2

maximum_entitlement_or_status_month_requirement_under_subsection_h42 USC § 426 (h)(1) · parameter

42 U.S.C. 426(h)(1)

name: maximum_entitlement_or_status_month_requirement_under_subsection_h
kind: parameter
dtype: Count
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: >-
            no requirement for any entitlement to benefits, or status, for a
            period longer than 1 month
versions:
  - effective_from: '1974-01-01'
    formula: '1'

open in graph ↗

entitlement_or_status_period_requirement_satisfied_under_subsection_h42 USC § 426 (h)(1) · derived

42 U.S.C. 426(h)(1)

name: entitlement_or_status_period_requirement_satisfied_under_subsection_h
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: Subsection (b) shall be applied
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: as if there were no requirement ... for a period longer than 1 month
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/426/h/1#maximum_entitlement_or_status_month_requirement_under_subsection_h
          output: maximum_entitlement_or_status_month_requirement_under_subsection_h
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: >-
      months_of_entitlement_to_benefits_or_status_for_applying_subsection_b >=
      maximum_entitlement_or_status_month_requirement_under_subsection_h

open in graph ↗

▸rulespec code

Shown source

statutes/42/426/h/1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

maximum_entitlement_or_status_month_requirement_under_subsection_h

Parameter

source: 42 U.S.C. 426(h)(1)

- name: maximum_entitlement_or_status_month_requirement_under_subsection_h
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: >-
              no requirement for any entitlement to benefits, or status, for a period longer than 1
              month
  versions:
    - effective_from: '1974-01-01'
      formula: '1'

entitlement_or_status_period_requirement_satisfied_under_subsection_h

Derived

source: 42 U.S.C. 426(h)(1)

- name: entitlement_or_status_period_requirement_satisfied_under_subsection_h
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: Subsection (b) shall be applied
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: as if there were no requirement ... for a period longer than 1 month
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/426/h/1#maximum_entitlement_or_status_month_requirement_under_subsection_h
            output: maximum_entitlement_or_status_month_requirement_under_subsection_h
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        months_of_entitlement_to_benefits_or_status_for_applying_subsection_b >=
        maximum_entitlement_or_status_month_requirement_under_subsection_h

loading…

us/statute/42/426/h/1 · Axiom

2 rules

Official source

graph ↗build calculator ↗

Subsection (b) shall be applied as if there were no requirement for any entitlement to benefits, or status, for a period longer than 1 month.

in view

Whole section

Encodings · 2

maximum_entitlement_or_status_month_requirement_under_subsection_h42 USC § 426 (h)(1) · parameter

42 U.S.C. 426(h)(1)

name: maximum_entitlement_or_status_month_requirement_under_subsection_h
kind: parameter
dtype: Count
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: >-
            no requirement for any entitlement to benefits, or status, for a
            period longer than 1 month
versions:
  - effective_from: '1974-01-01'
    formula: '1'

open in graph ↗

entitlement_or_status_period_requirement_satisfied_under_subsection_h42 USC § 426 (h)(1) · derived

42 U.S.C. 426(h)(1)

name: entitlement_or_status_period_requirement_satisfied_under_subsection_h
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(h)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: Subsection (b) shall be applied
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/h/1
          excerpt: as if there were no requirement ... for a period longer than 1 month
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/426/h/1#maximum_entitlement_or_status_month_requirement_under_subsection_h
          output: maximum_entitlement_or_status_month_requirement_under_subsection_h
          hash: sha256:local
versions:
  - effective_from: '1974-01-01'
    formula: >-
      months_of_entitlement_to_benefits_or_status_for_applying_subsection_b >=
      maximum_entitlement_or_status_month_requirement_under_subsection_h

open in graph ↗

▸rulespec code

Shown source

statutes/42/426/h/1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

maximum_entitlement_or_status_month_requirement_under_subsection_h

Parameter

source: 42 U.S.C. 426(h)(1)

- name: maximum_entitlement_or_status_month_requirement_under_subsection_h
  kind: parameter
  dtype: Count
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: >-
              no requirement for any entitlement to benefits, or status, for a period longer than 1
              month
  versions:
    - effective_from: '1974-01-01'
      formula: '1'

entitlement_or_status_period_requirement_satisfied_under_subsection_h

Derived

source: 42 U.S.C. 426(h)(1)

- name: entitlement_or_status_period_requirement_satisfied_under_subsection_h
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(h)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: Subsection (b) shall be applied
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/h/1
            excerpt: as if there were no requirement ... for a period longer than 1 month
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/426/h/1#maximum_entitlement_or_status_month_requirement_under_subsection_h
            output: maximum_entitlement_or_status_month_requirement_under_subsection_h
            hash: sha256:local
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        months_of_entitlement_to_benefits_or_status_for_applying_subsection_b >=
        maximum_entitlement_or_status_month_requirement_under_subsection_h