us/statute/42/426/b/1

loading…

2 rules

Official source

graph ↗build calculator ↗

has not attained age 65, and

in view

Whole section

Encodings · 2

age_attainment_threshold42 USC § 426 (b)(1) · parameter

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

name: age_attainment_threshold
kind: parameter
dtype: Integer
source: 42 U.S.C. 426(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/b/1
          excerpt: age 65
versions:
  - effective_from: '1974-01-01'
    formula: '65'

open in graph ↗

person_has_not_attained_age_threshold42 USC § 426 (b)(1) · derived

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

name: person_has_not_attained_age_threshold
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b/1
          excerpt: has not attained age 65
versions:
  - effective_from: '1974-01-01'
    formula: age < age_attainment_threshold

open in graph ↗

▸rulespec code

Shown source

statutes/42/426/b/1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

age_attainment_threshold

Parameter

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

- name: age_attainment_threshold
  kind: parameter
  dtype: Integer
  source: 42 U.S.C. 426(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/b/1
            excerpt: age 65
  versions:
    - effective_from: '1974-01-01'
      formula: '65'

person_has_not_attained_age_threshold

Derived

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

- name: person_has_not_attained_age_threshold
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b/1
            excerpt: has not attained age 65
  versions:
    - effective_from: '1974-01-01'
      formula: age < age_attainment_threshold

loading…

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

2 rules

Official source

graph ↗build calculator ↗

has not attained age 65, and

in view

Whole section

Encodings · 2

age_attainment_threshold42 USC § 426 (b)(1) · parameter

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

name: age_attainment_threshold
kind: parameter
dtype: Integer
source: 42 U.S.C. 426(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/426/b/1
          excerpt: age 65
versions:
  - effective_from: '1974-01-01'
    formula: '65'

open in graph ↗

person_has_not_attained_age_threshold42 USC § 426 (b)(1) · derived

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

name: person_has_not_attained_age_threshold
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 42 U.S.C. 426(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/426/b/1
          excerpt: has not attained age 65
versions:
  - effective_from: '1974-01-01'
    formula: age < age_attainment_threshold

open in graph ↗

▸rulespec code

Shown source

statutes/42/426/b/1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

age_attainment_threshold

Parameter

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

- name: age_attainment_threshold
  kind: parameter
  dtype: Integer
  source: 42 U.S.C. 426(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/426/b/1
            excerpt: age 65
  versions:
    - effective_from: '1974-01-01'
      formula: '65'

person_has_not_attained_age_threshold

Derived

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

- name: person_has_not_attained_age_threshold
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 42 U.S.C. 426(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/426/b/1
            excerpt: has not attained age 65
  versions:
    - effective_from: '1974-01-01'
      formula: age < age_attainment_threshold