loading…

Uncovered child

1 rule

Official source

graph ↗build calculator ↗

The term “uncovered child” means a child that does not have creditable health coverage.

in view

Whole section

Encodings · 1

uncovered_child42 USC § 1397jj (c)(8) · derived

42 USC 1397jj(c)(8)

name: uncovered_child
kind: derived
entity: Person
dtype: Judgment
period: Day
source: 42 USC 1397jj(c)(8)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/42/1397jj/c/1#child
          output: child
          hash: >-
            sha256:5983f9bd1c30a824da826ee4bc8fc3351cd2c631d4a0ce198b156446493ef9e0
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/42/1397jj/c/8
versions:
  - effective_from: '1974-01-01'
    formula: |-
      child
      and not has_creditable_health_coverage

open in graph ↗

▸rulespec code

Shown source

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

Displaying the canonical repository encoding.

View on GitHub

Rules

uncovered_child

Derived

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

- name: uncovered_child
  kind: derived
  entity: Person
  dtype: Judgment
  period: Day
  source: 42 USC 1397jj(c)(8)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1397jj/c/1#child
            output: child
            hash: sha256:5983f9bd1c30a824da826ee4bc8fc3351cd2c631d4a0ce198b156446493ef9e0
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1397jj/c/8
  versions:
    - effective_from: '1974-01-01'
      formula: |-
        child
        and not has_creditable_health_coverage

loading…

us/statute/42/1397jj/c/8 — Uncovered child · Axiom