loading…

Child

2 rules

Official source

graph ↗build calculator ↗

The term “child” means an individual under 19 years of age.

in view

Whole section

Encodings · 2

child_age_limit42 USC § 1397jj (c)(1) · parameter

42 USC 1397jj(c)(1)

name: child_age_limit
kind: parameter
dtype: Count
source: 42 USC 1397jj(c)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1397jj/c/1
          excerpt: under 19 years of age
versions:
  - effective_from: '1974-01-01'
    formula: '19'

open in graph ↗

child42 USC § 1397jj (c)(1) · derived

42 USC 1397jj(c)(1)

name: child
kind: derived
entity: Person
dtype: Judgment
period: Day
source: 42 USC 1397jj(c)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/42/1397jj/c/1
versions:
  - effective_from: '1974-01-01'
    formula: age < child_age_limit

open in graph ↗

▸rulespec code

Shown source

statutes/42/1397jj/c/1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

child_age_limit

Parameter

source: 42 USC 1397jj(c)(1)

- name: child_age_limit
  kind: parameter
  dtype: Count
  source: 42 USC 1397jj(c)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1397jj/c/1
            excerpt: under 19 years of age
  versions:
    - effective_from: '1974-01-01'
      formula: '19'

child

Derived

source: 42 USC 1397jj(c)(1)

- name: child
  kind: derived
  entity: Person
  dtype: Judgment
  period: Day
  source: 42 USC 1397jj(c)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1397jj/c/1
  versions:
    - effective_from: '1974-01-01'
      formula: age < child_age_limit

loading…

us/statute/42/1397jj/c/1 — Child · Axiom

Child

2 rules

Official source

graph ↗build calculator ↗

The term “child” means an individual under 19 years of age.

in view

Whole section

Encodings · 2

child_age_limit42 USC § 1397jj (c)(1) · parameter

42 USC 1397jj(c)(1)

name: child_age_limit
kind: parameter
dtype: Count
source: 42 USC 1397jj(c)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1397jj/c/1
          excerpt: under 19 years of age
versions:
  - effective_from: '1974-01-01'
    formula: '19'

open in graph ↗

child42 USC § 1397jj (c)(1) · derived

42 USC 1397jj(c)(1)

name: child
kind: derived
entity: Person
dtype: Judgment
period: Day
source: 42 USC 1397jj(c)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/42/1397jj/c/1
versions:
  - effective_from: '1974-01-01'
    formula: age < child_age_limit

open in graph ↗

▸rulespec code

Shown source

statutes/42/1397jj/c/1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

child_age_limit

Parameter

source: 42 USC 1397jj(c)(1)

- name: child_age_limit
  kind: parameter
  dtype: Count
  source: 42 USC 1397jj(c)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1397jj/c/1
            excerpt: under 19 years of age
  versions:
    - effective_from: '1974-01-01'
      formula: '19'

child

Derived

source: 42 USC 1397jj(c)(1)

- name: child
  kind: derived
  entity: Person
  dtype: Judgment
  period: Day
  source: 42 USC 1397jj(c)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1397jj/c/1
  versions:
    - effective_from: '1974-01-01'
      formula: age < child_age_limit