loading…

In general

This credit shall not apply to the Government of the United States, the government of any State or political subdivision thereof, or any agency or instrumentality of any of the foregoing.

in view

Whole section

▸rulespec code

Shown source

statutes/26/3134/f.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/26/3134/f; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

governmental_employer_described_in_paragraph_1

Derived

source: 26 USC 3134(f)(1)

- name: governmental_employer_described_in_paragraph_1
  kind: derived
  entity: Employer
  dtype: Judgment
  period: Year
  source: 26 USC 3134(f)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/3134
  versions:
    - effective_from: '2021-01-01'
      formula: |-
        employer_is_government_of_united_states
        or employer_is_government_of_state_or_political_subdivision
        or employer_is_agency_or_instrumentality_of_foregoing_government

college_or_medical_care_entity_exception_to_governmental_employer_exclusion

Derived

source: 26 USC 3134(f)(2)(B)

- name: college_or_medical_care_entity_exception_to_governmental_employer_exclusion
  kind: derived
  entity: Employer
  dtype: Judgment
  period: Year
  source: 26 USC 3134(f)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/3134
  versions:
    - effective_from: '2021-01-01'
      formula: |-
        governmental_employer_described_in_paragraph_1
        and (employer_is_college_or_university
        or employer_principal_purpose_or_function_is_providing_medical_or_hospital_care)

subparagraph_b_entity_treated_as_satisfying_subsection_c_requirement

Derived

source: 26 USC 3134(f)(2), flush sentence

- name: subparagraph_b_entity_treated_as_satisfying_subsection_c_requirement
  kind: derived
  entity: Employer
  dtype: Judgment
  period: Year
  source: 26 USC 3134(f)(2), flush sentence
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/3134
  versions:
    - effective_from: '2021-01-01'
      formula: |-
        governmental_employer_described_in_paragraph_1
        and (employer_is_college_or_university
        or employer_principal_purpose_or_function_is_providing_medical_or_hospital_care)

loading…

us/statute/26/3134/f/1 — In general · Axiom

In general

Official source

This credit shall not apply to the Government of the United States, the government of any State or political subdivision thereof, or any agency or instrumentality of any of the foregoing.

in view

Whole section

▸rulespec code

Shown source

statutes/26/3134/f.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/26/3134/f; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

governmental_employer_described_in_paragraph_1

Derived

source: 26 USC 3134(f)(1)

- name: governmental_employer_described_in_paragraph_1
  kind: derived
  entity: Employer
  dtype: Judgment
  period: Year
  source: 26 USC 3134(f)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/3134
  versions:
    - effective_from: '2021-01-01'
      formula: |-
        employer_is_government_of_united_states
        or employer_is_government_of_state_or_political_subdivision
        or employer_is_agency_or_instrumentality_of_foregoing_government

college_or_medical_care_entity_exception_to_governmental_employer_exclusion

Derived

source: 26 USC 3134(f)(2)(B)

- name: college_or_medical_care_entity_exception_to_governmental_employer_exclusion
  kind: derived
  entity: Employer
  dtype: Judgment
  period: Year
  source: 26 USC 3134(f)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/26/3134
  versions:
    - effective_from: '2021-01-01'
      formula: |-
        governmental_employer_described_in_paragraph_1
        and (employer_is_college_or_university
        or employer_principal_purpose_or_function_is_providing_medical_or_hospital_care)

subparagraph_b_entity_treated_as_satisfying_subsection_c_requirement

Derived

source: 26 USC 3134(f)(2), flush sentence

- name: subparagraph_b_entity_treated_as_satisfying_subsection_c_requirement
  kind: derived
  entity: Employer
  dtype: Judgment
  period: Year
  source: 26 USC 3134(f)(2), flush sentence
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/3134
  versions:
    - effective_from: '2021-01-01'
      formula: |-
        governmental_employer_described_in_paragraph_1
        and (employer_is_college_or_university
        or employer_principal_purpose_or_function_is_providing_medical_or_hospital_care)