loading…

us/statute/42/5402/6 — Definitions · Axiom

Definitions

4 rules

(6) “manufactured home” means a structure, transportable in one or more sections, which, in the traveling mode, is eight body feet or more in width or forty body feet or more in length, or, when erected on site, is three hundred twenty or more square feet, and which is built on a permanent chassis and designed to be used as a dwelling with or without a permanent foundation when connected to the required utilities, and includes the plumbing, heating, air-conditioning, and electrical systems contained therein; except that such term shall include any structure which meets all the requirements of this paragraph except the size requirements and with respect to which the manufacturer voluntarily files a certification required by the Secretary and complies with the standards established under this chapter; and except that such term shall not include any self-propelled recreational vehicle;

in view

Whole section

Encodings · 4

manufactured_home_traveling_mode_width_threshold_body_feet42 USC § 5402 (6) · parameter

42 USC 5402(6)

name: manufactured_home_traveling_mode_width_threshold_body_feet
kind: parameter
dtype: Decimal
source: 42 USC 5402(6)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/5402/6
          excerpt: eight body feet or more in width
versions:
  - effective_from: '1974-01-01'
    formula: '8'

open in graph ↗

manufactured_home_traveling_mode_length_threshold_body_feet42 USC § 5402 (6) · parameter

42 USC 5402(6)

name: manufactured_home_traveling_mode_length_threshold_body_feet
kind: parameter
dtype: Decimal
source: 42 USC 5402(6)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/5402/6
          excerpt: forty body feet or more in length
versions:
  - effective_from: '1974-01-01'
    formula: '40'

open in graph ↗

manufactured_home_erected_site_area_threshold_square_feet42 USC § 5402 (6) · parameter

42 USC 5402(6)

name: manufactured_home_erected_site_area_threshold_square_feet
kind: parameter
dtype: Decimal
source: 42 USC 5402(6)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/5402/6
          excerpt: three hundred twenty or more square feet
versions:
  - effective_from: '1974-01-01'
    formula: '320'

open in graph ↗

manufactured_home42 USC § 5402 (6) · derived

42 USC 5402(6)

name: manufactured_home
kind: derived
entity: Structure
dtype: Judgment
period: Year
source: 42 USC 5402(6)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/42/5402/6
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/5402#manufactured_home_traveling_mode_width_threshold_body_feet
          output: manufactured_home_traveling_mode_width_threshold_body_feet
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/5402#manufactured_home_traveling_mode_length_threshold_body_feet
          output: manufactured_home_traveling_mode_length_threshold_body_feet
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/5402#manufactured_home_erected_site_area_threshold_square_feet
          output: manufactured_home_erected_site_area_threshold_square_feet
          hash: sha256:local
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/42/5402/6
          excerpt: shall not include any self-propelled recreational vehicle
versions:
  - effective_from: '1974-01-01'
    formula: >-
      structure_transportable_in_one_or_more_sections

      and built_on_permanent_chassis

      and
      designed_to_be_used_as_dwelling_with_or_without_permanent_foundation_when_connected_to_required_utilities

      and (
        traveling_mode_width_body_feet >= manufactured_home_traveling_mode_width_threshold_body_feet
        or traveling_mode_length_body_feet >= manufactured_home_traveling_mode_length_threshold_body_feet
        or erected_site_square_feet >= manufactured_home_erected_site_area_threshold_square_feet
        or (
          structure_meets_all_manufactured_home_requirements_except_size_requirements
          and manufacturer_voluntarily_files_secretary_required_certification
          and manufacturer_complies_with_standards_established_under_this_chapter
        )
      )

      and not structure_is_self_propelled_recreational_vehicle

open in graph ↗

▸rulespec code

Shown source

statutes/42/5402.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/5402; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

manufactured_home_traveling_mode_width_threshold_body_feet

Parameter

source: 42 USC 5402(6)

- name: manufactured_home_traveling_mode_width_threshold_body_feet
  kind: parameter
  dtype: Decimal
  source: 42 USC 5402(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/5402/6
            excerpt: eight body feet or more in width
  versions:
    - effective_from: '1974-01-01'
      formula: '8'

manufactured_home_traveling_mode_length_threshold_body_feet

Parameter

source: 42 USC 5402(6)

- name: manufactured_home_traveling_mode_length_threshold_body_feet
  kind: parameter
  dtype: Decimal
  source: 42 USC 5402(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/5402/6
            excerpt: forty body feet or more in length
  versions:
    - effective_from: '1974-01-01'
      formula: '40'

manufactured_home_erected_site_area_threshold_square_feet

Parameter

source: 42 USC 5402(6)

- name: manufactured_home_erected_site_area_threshold_square_feet
  kind: parameter
  dtype: Decimal
  source: 42 USC 5402(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/5402/6
            excerpt: three hundred twenty or more square feet
  versions:
    - effective_from: '1974-01-01'
      formula: '320'

manufactured_home

Derived

source: 42 USC 5402(6)

- name: manufactured_home
  kind: derived
  entity: Structure
  dtype: Judgment
  period: Year
  source: 42 USC 5402(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/5402/6
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/5402#manufactured_home_traveling_mode_width_threshold_body_feet
            output: manufactured_home_traveling_mode_width_threshold_body_feet
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/5402#manufactured_home_traveling_mode_length_threshold_body_feet
            output: manufactured_home_traveling_mode_length_threshold_body_feet
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/5402#manufactured_home_erected_site_area_threshold_square_feet
            output: manufactured_home_erected_site_area_threshold_square_feet
            hash: sha256:local
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/5402/6
            excerpt: shall not include any self-propelled recreational vehicle
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        structure_transportable_in_one_or_more_sections

        and built_on_permanent_chassis

        and
        designed_to_be_used_as_dwelling_with_or_without_permanent_foundation_when_connected_to_required_utilities

        and (
          traveling_mode_width_body_feet >= manufactured_home_traveling_mode_width_threshold_body_feet
          or traveling_mode_length_body_feet >= manufactured_home_traveling_mode_length_threshold_body_feet
          or erected_site_square_feet >= manufactured_home_erected_site_area_threshold_square_feet
          or (
            structure_meets_all_manufactured_home_requirements_except_size_requirements
            and manufacturer_voluntarily_files_secretary_required_certification
            and manufacturer_complies_with_standards_established_under_this_chapter
          )
        )

        and not structure_is_self_propelled_recreational_vehicle

loading…

Definitions

4 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 4

manufactured_home_traveling_mode_width_threshold_body_feet42 USC § 5402 (6) · parameter

42 USC 5402(6)

name: manufactured_home_traveling_mode_width_threshold_body_feet
kind: parameter
dtype: Decimal
source: 42 USC 5402(6)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/5402/6
          excerpt: eight body feet or more in width
versions:
  - effective_from: '1974-01-01'
    formula: '8'

open in graph ↗

manufactured_home_traveling_mode_length_threshold_body_feet42 USC § 5402 (6) · parameter

42 USC 5402(6)

name: manufactured_home_traveling_mode_length_threshold_body_feet
kind: parameter
dtype: Decimal
source: 42 USC 5402(6)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/5402/6
          excerpt: forty body feet or more in length
versions:
  - effective_from: '1974-01-01'
    formula: '40'

open in graph ↗

manufactured_home_erected_site_area_threshold_square_feet42 USC § 5402 (6) · parameter

42 USC 5402(6)

name: manufactured_home_erected_site_area_threshold_square_feet
kind: parameter
dtype: Decimal
source: 42 USC 5402(6)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/5402/6
          excerpt: three hundred twenty or more square feet
versions:
  - effective_from: '1974-01-01'
    formula: '320'

open in graph ↗

manufactured_home42 USC § 5402 (6) · derived

42 USC 5402(6)

name: manufactured_home
kind: derived
entity: Structure
dtype: Judgment
period: Year
source: 42 USC 5402(6)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/42/5402/6
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/5402#manufactured_home_traveling_mode_width_threshold_body_feet
          output: manufactured_home_traveling_mode_width_threshold_body_feet
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/5402#manufactured_home_traveling_mode_length_threshold_body_feet
          output: manufactured_home_traveling_mode_length_threshold_body_feet
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/42/5402#manufactured_home_erected_site_area_threshold_square_feet
          output: manufactured_home_erected_site_area_threshold_square_feet
          hash: sha256:local
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/42/5402/6
          excerpt: shall not include any self-propelled recreational vehicle
versions:
  - effective_from: '1974-01-01'
    formula: >-
      structure_transportable_in_one_or_more_sections

      and built_on_permanent_chassis

      and
      designed_to_be_used_as_dwelling_with_or_without_permanent_foundation_when_connected_to_required_utilities

      and (
        traveling_mode_width_body_feet >= manufactured_home_traveling_mode_width_threshold_body_feet
        or traveling_mode_length_body_feet >= manufactured_home_traveling_mode_length_threshold_body_feet
        or erected_site_square_feet >= manufactured_home_erected_site_area_threshold_square_feet
        or (
          structure_meets_all_manufactured_home_requirements_except_size_requirements
          and manufacturer_voluntarily_files_secretary_required_certification
          and manufacturer_complies_with_standards_established_under_this_chapter
        )
      )

      and not structure_is_self_propelled_recreational_vehicle

open in graph ↗

▸rulespec code

Shown source

statutes/42/5402.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/5402; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

manufactured_home_traveling_mode_width_threshold_body_feet

Parameter

source: 42 USC 5402(6)

- name: manufactured_home_traveling_mode_width_threshold_body_feet
  kind: parameter
  dtype: Decimal
  source: 42 USC 5402(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/5402/6
            excerpt: eight body feet or more in width
  versions:
    - effective_from: '1974-01-01'
      formula: '8'

manufactured_home_traveling_mode_length_threshold_body_feet

Parameter

source: 42 USC 5402(6)

- name: manufactured_home_traveling_mode_length_threshold_body_feet
  kind: parameter
  dtype: Decimal
  source: 42 USC 5402(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/5402/6
            excerpt: forty body feet or more in length
  versions:
    - effective_from: '1974-01-01'
      formula: '40'

manufactured_home_erected_site_area_threshold_square_feet

Parameter

source: 42 USC 5402(6)

- name: manufactured_home_erected_site_area_threshold_square_feet
  kind: parameter
  dtype: Decimal
  source: 42 USC 5402(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/5402/6
            excerpt: three hundred twenty or more square feet
  versions:
    - effective_from: '1974-01-01'
      formula: '320'

manufactured_home

Derived

source: 42 USC 5402(6)

- name: manufactured_home
  kind: derived
  entity: Structure
  dtype: Judgment
  period: Year
  source: 42 USC 5402(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/5402/6
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/5402#manufactured_home_traveling_mode_width_threshold_body_feet
            output: manufactured_home_traveling_mode_width_threshold_body_feet
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/5402#manufactured_home_traveling_mode_length_threshold_body_feet
            output: manufactured_home_traveling_mode_length_threshold_body_feet
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/5402#manufactured_home_erected_site_area_threshold_square_feet
            output: manufactured_home_erected_site_area_threshold_square_feet
            hash: sha256:local
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/5402/6
            excerpt: shall not include any self-propelled recreational vehicle
  versions:
    - effective_from: '1974-01-01'
      formula: >-
        structure_transportable_in_one_or_more_sections

        and built_on_permanent_chassis

        and
        designed_to_be_used_as_dwelling_with_or_without_permanent_foundation_when_connected_to_required_utilities

        and (
          traveling_mode_width_body_feet >= manufactured_home_traveling_mode_width_threshold_body_feet
          or traveling_mode_length_body_feet >= manufactured_home_traveling_mode_length_threshold_body_feet
          or erected_site_square_feet >= manufactured_home_erected_site_area_threshold_square_feet
          or (
            structure_meets_all_manufactured_home_requirements_except_size_requirements
            and manufacturer_voluntarily_files_secretary_required_certification
            and manufacturer_complies_with_standards_established_under_this_chapter
          )
        )

        and not structure_is_self_propelled_recreational_vehicle