loading…

Short title

1 rule

Official source

graph ↗build calculator ↗

This chapter may be cited as the “Railroad Retirement Tax Act.”

in view

Whole section

Encodings · 1

chapter_short_title26 USC § 3233 · parameter

26 USC 3233

name: chapter_short_title
kind: parameter
dtype: String
source: 26 USC 3233
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/26/3233
          excerpt: may be cited as the “Railroad Retirement Tax Act.”
versions:
  - effective_from: '1990-01-01'
    formula: '"Railroad Retirement Tax Act"'

open in graph ↗

▸rulespec code

Shown source

statutes/26/3233.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

chapter_short_title

Parameter

source: 26 USC 3233

- name: chapter_short_title
  kind: parameter
  dtype: String
  source: 26 USC 3233
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/3233
            excerpt: may be cited as the “Railroad Retirement Tax Act.”
  versions:
    - effective_from: '1990-01-01'
      formula: '"Railroad Retirement Tax Act"'

loading…

us/statute/26/3233 — Short title · Axiom