us/statute/26/3121/b/6

loading…

2 rules

service performed in the employ of the United States or any instrumentality of the United States if such service is performed—

(A) in a penal institution of the United States by an inmate thereof;

(B) by any individual as an employee included under section 5351(2) of title 5 , United States Code (relating to certain interns, student nurses, and other student employees of hospitals of the Federal Government), other than as a medical or dental intern or a medical or dental resident in training; or

(C) by any individual as an employee serving on a temporary basis in case of fire, storm, earthquake, flood, or other similar emergency;

in view

Whole section

Encodings · 2

section_5351_student_hospital_employee_branch_applies26 USC § 3121 (b)(6) · derived

26 USC 3121(b)(6)(B)

name: section_5351_student_hospital_employee_branch_applies
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 26 USC 3121(b)(6)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            by any individual as an employee included under section 5351(2) of
            title 5 , United States Code (relating to certain interns, student
            nurses, and other student employees of hospitals of the Federal
            Government)
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            other than as a medical or dental intern or a medical or dental
            resident in training
versions:
  - effective_from: '1990-01-01'
    formula: |-
      individual_is_employee_included_under_section_5351_2_of_title_5
      and not service_performed_as_medical_or_dental_intern
      and not service_performed_as_medical_or_dental_resident_in_training

open in graph ↗

federal_penal_student_or_emergency_service_excluded_from_employment26 USC § 3121 (b)(6) · derived

26 USC 3121(b)(6)

name: federal_penal_student_or_emergency_service_excluded_from_employment
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 26 USC 3121(b)(6)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            service performed in the employ of the United States or any
            instrumentality of the United States
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: in a penal institution of the United States by an inmate thereof
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/3121/b/6#section_5351_student_hospital_employee_branch_applies
          output: section_5351_student_hospital_employee_branch_applies
          hash: sha256:local
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            by any individual as an employee serving on a temporary basis in
            case of fire, storm, earthquake, flood, or other similar emergency
versions:
  - effective_from: '1990-01-01'
    formula: |-
      service_performed_in_employ_of_united_states_or_instrumentality
      and (
        service_performed_in_penal_institution_of_united_states_by_inmate
        or section_5351_student_hospital_employee_branch_applies
        or individual_employee_serving_on_temporary_basis_in_fire_storm_earthquake_flood_or_similar_emergency
      )

open in graph ↗

▸rulespec code

Shown source

statutes/26/3121/b/6.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

section_5351_student_hospital_employee_branch_applies

Derived

source: 26 USC 3121(b)(6)(B)

- name: section_5351_student_hospital_employee_branch_applies
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 26 USC 3121(b)(6)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              by any individual as an employee included under section 5351(2) of title 5 , United
              States Code (relating to certain interns, student nurses, and other student employees
              of hospitals of the Federal Government)
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: other than as a medical or dental intern or a medical or dental resident in training
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        individual_is_employee_included_under_section_5351_2_of_title_5
        and not service_performed_as_medical_or_dental_intern
        and not service_performed_as_medical_or_dental_resident_in_training

federal_penal_student_or_emergency_service_excluded_from_employment

Derived

source: 26 USC 3121(b)(6)

- name: federal_penal_student_or_emergency_service_excluded_from_employment
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 26 USC 3121(b)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              service performed in the employ of the United States or any instrumentality of the
              United States
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: in a penal institution of the United States by an inmate thereof
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3121/b/6#section_5351_student_hospital_employee_branch_applies
            output: section_5351_student_hospital_employee_branch_applies
            hash: sha256:local
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              by any individual as an employee serving on a temporary basis in case of fire, storm,
              earthquake, flood, or other similar emergency
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        service_performed_in_employ_of_united_states_or_instrumentality
        and (
          service_performed_in_penal_institution_of_united_states_by_inmate
          or section_5351_student_hospital_employee_branch_applies
          or individual_employee_serving_on_temporary_basis_in_fire_storm_earthquake_flood_or_similar_emergency
        )

loading…

us/statute/26/3121/b/6 · Axiom

2 rules

Official source

graph ↗build calculator ↗

service performed in the employ of the United States or any instrumentality of the United States if such service is performed—

(A) in a penal institution of the United States by an inmate thereof;

(C) by any individual as an employee serving on a temporary basis in case of fire, storm, earthquake, flood, or other similar emergency;

in view

Whole section

Encodings · 2

section_5351_student_hospital_employee_branch_applies26 USC § 3121 (b)(6) · derived

26 USC 3121(b)(6)(B)

name: section_5351_student_hospital_employee_branch_applies
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 26 USC 3121(b)(6)(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            by any individual as an employee included under section 5351(2) of
            title 5 , United States Code (relating to certain interns, student
            nurses, and other student employees of hospitals of the Federal
            Government)
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            other than as a medical or dental intern or a medical or dental
            resident in training
versions:
  - effective_from: '1990-01-01'
    formula: |-
      individual_is_employee_included_under_section_5351_2_of_title_5
      and not service_performed_as_medical_or_dental_intern
      and not service_performed_as_medical_or_dental_resident_in_training

open in graph ↗

federal_penal_student_or_emergency_service_excluded_from_employment26 USC § 3121 (b)(6) · derived

26 USC 3121(b)(6)

name: federal_penal_student_or_emergency_service_excluded_from_employment
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 26 USC 3121(b)(6)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            service performed in the employ of the United States or any
            instrumentality of the United States
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: in a penal institution of the United States by an inmate thereof
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/3121/b/6#section_5351_student_hospital_employee_branch_applies
          output: section_5351_student_hospital_employee_branch_applies
          hash: sha256:local
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            by any individual as an employee serving on a temporary basis in
            case of fire, storm, earthquake, flood, or other similar emergency
versions:
  - effective_from: '1990-01-01'
    formula: |-
      service_performed_in_employ_of_united_states_or_instrumentality
      and (
        service_performed_in_penal_institution_of_united_states_by_inmate
        or section_5351_student_hospital_employee_branch_applies
        or individual_employee_serving_on_temporary_basis_in_fire_storm_earthquake_flood_or_similar_emergency
      )

open in graph ↗

▸rulespec code

Shown source

statutes/26/3121/b/6.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

section_5351_student_hospital_employee_branch_applies

Derived

source: 26 USC 3121(b)(6)(B)

- name: section_5351_student_hospital_employee_branch_applies
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 26 USC 3121(b)(6)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              by any individual as an employee included under section 5351(2) of title 5 , United
              States Code (relating to certain interns, student nurses, and other student employees
              of hospitals of the Federal Government)
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: other than as a medical or dental intern or a medical or dental resident in training
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        individual_is_employee_included_under_section_5351_2_of_title_5
        and not service_performed_as_medical_or_dental_intern
        and not service_performed_as_medical_or_dental_resident_in_training

federal_penal_student_or_emergency_service_excluded_from_employment

Derived

source: 26 USC 3121(b)(6)

- name: federal_penal_student_or_emergency_service_excluded_from_employment
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 26 USC 3121(b)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              service performed in the employ of the United States or any instrumentality of the
              United States
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: in a penal institution of the United States by an inmate thereof
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3121/b/6#section_5351_student_hospital_employee_branch_applies
            output: section_5351_student_hospital_employee_branch_applies
            hash: sha256:local
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              by any individual as an employee serving on a temporary basis in case of fire, storm,
              earthquake, flood, or other similar emergency
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        service_performed_in_employ_of_united_states_or_instrumentality
        and (
          service_performed_in_penal_institution_of_united_states_by_inmate
          or section_5351_student_hospital_employee_branch_applies
          or individual_employee_serving_on_temporary_basis_in_fire_storm_earthquake_flood_or_similar_emergency
        )