loading…

American vessel and aircraft

2 rules

For purposes of this chapter, the term “American vessel” means any vessel documented or numbered under the laws of the United States; and includes any vessel which is neither documented or numbered under the laws of the United States nor documented under the laws of any foreign country, if its crew is employed solely by one or more citizens or residents of the United States or corporations organized under the laws of the United States or of any State; and the term “American aircraft” means an aircraft registered under the laws of the United States.

in view

Whole section

Encodings · 2

american_vessel26 USC § 3121 (f) · derived

26 USC 3121(f)

name: american_vessel
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: 26 USC 3121(f)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            the term “American vessel” means any vessel documented or numbered
            under the laws of the United States
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            includes any vessel which is neither documented or numbered under
            the laws of the United States nor documented under the laws of any
            foreign country, if its crew is employed solely by one or more
            citizens or residents of the United States or corporations organized
            under the laws of the United States or of any State
versions:
  - effective_from: '1990-01-01'
    formula: |-
      asset_is_vessel
      and (
        vessel_documented_or_numbered_under_laws_of_united_states
        or (
          not vessel_documented_or_numbered_under_laws_of_united_states
          and
          not vessel_documented_under_laws_of_any_foreign_country
          and vessel_crew_employed_solely_by_united_states_citizens_residents_or_united_states_or_state_corporations
        )
      )

open in graph ↗

american_aircraft26 USC § 3121 (f) · derived

26 USC 3121(f)

name: american_aircraft
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: 26 USC 3121(f)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            the term “American aircraft” means an aircraft registered under the
            laws of the United States
versions:
  - effective_from: '1990-01-01'
    formula: |-
      asset_is_aircraft
      and aircraft_registered_under_laws_of_united_states

open in graph ↗

▸rulespec code

Shown source

statutes/26/3121/f.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

american_vessel

Derived

source: 26 USC 3121(f)

- name: american_vessel
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 3121(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              the term “American vessel” means any vessel documented or numbered under the laws of
              the United States
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              includes any vessel which is neither documented or numbered under the laws of the
              United States nor documented under the laws of any foreign country, if its crew is
              employed solely by one or more citizens or residents of the United States or
              corporations organized under the laws of the United States or of any State
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        asset_is_vessel
        and (
          vessel_documented_or_numbered_under_laws_of_united_states
          or (
            not vessel_documented_or_numbered_under_laws_of_united_states
            and
            not vessel_documented_under_laws_of_any_foreign_country
            and vessel_crew_employed_solely_by_united_states_citizens_residents_or_united_states_or_state_corporations
          )
        )

american_aircraft

Derived

source: 26 USC 3121(f)

- name: american_aircraft
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 3121(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              the term “American aircraft” means an aircraft registered under the laws of the United
              States
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        asset_is_aircraft
        and aircraft_registered_under_laws_of_united_states

loading…

us/statute/26/3121/f — American vessel and aircraft · Axiom

American vessel and aircraft

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

american_vessel26 USC § 3121 (f) · derived

26 USC 3121(f)

name: american_vessel
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: 26 USC 3121(f)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            the term “American vessel” means any vessel documented or numbered
            under the laws of the United States
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            includes any vessel which is neither documented or numbered under
            the laws of the United States nor documented under the laws of any
            foreign country, if its crew is employed solely by one or more
            citizens or residents of the United States or corporations organized
            under the laws of the United States or of any State
versions:
  - effective_from: '1990-01-01'
    formula: |-
      asset_is_vessel
      and (
        vessel_documented_or_numbered_under_laws_of_united_states
        or (
          not vessel_documented_or_numbered_under_laws_of_united_states
          and
          not vessel_documented_under_laws_of_any_foreign_country
          and vessel_crew_employed_solely_by_united_states_citizens_residents_or_united_states_or_state_corporations
        )
      )

open in graph ↗

american_aircraft26 USC § 3121 (f) · derived

26 USC 3121(f)

name: american_aircraft
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: 26 USC 3121(f)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/26/3121
          excerpt: >-
            the term “American aircraft” means an aircraft registered under the
            laws of the United States
versions:
  - effective_from: '1990-01-01'
    formula: |-
      asset_is_aircraft
      and aircraft_registered_under_laws_of_united_states

open in graph ↗

▸rulespec code

Shown source

statutes/26/3121/f.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

american_vessel

Derived

source: 26 USC 3121(f)

- name: american_vessel
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 3121(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              the term “American vessel” means any vessel documented or numbered under the laws of
              the United States
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              includes any vessel which is neither documented or numbered under the laws of the
              United States nor documented under the laws of any foreign country, if its crew is
              employed solely by one or more citizens or residents of the United States or
              corporations organized under the laws of the United States or of any State
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        asset_is_vessel
        and (
          vessel_documented_or_numbered_under_laws_of_united_states
          or (
            not vessel_documented_or_numbered_under_laws_of_united_states
            and
            not vessel_documented_under_laws_of_any_foreign_country
            and vessel_crew_employed_solely_by_united_states_citizens_residents_or_united_states_or_state_corporations
          )
        )

american_aircraft

Derived

source: 26 USC 3121(f)

- name: american_aircraft
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 26 USC 3121(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/26/3121
            excerpt: >-
              the term “American aircraft” means an aircraft registered under the laws of the United
              States
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        asset_is_aircraft
        and aircraft_registered_under_laws_of_united_states