loading…

Replacement units

Notwithstanding any other provision of law, replacement public housing units for public housing units demolished in accordance with this section may be built on the original public housing location or in the same neighborhood as the original public housing location if the number of the replacement public housing units is significantly fewer than the number of units demolished.

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437p.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

resident_purchase_interest_expression_period_days

Parameter

source: 42 USC 1437p(c)(2)(A)

- name: resident_purchase_interest_expression_period_days
  kind: parameter
  dtype: Count
  source: 42 USC 1437p(c)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437p
            excerpt: during the 30-day period beginning on the date of notification of a proposed sale
  versions:
    - effective_from: '1998-10-21'
      formula: '30'

resident_purchase_financing_commitment_period_days

Parameter

source: 42 USC 1437p(c)(2)(B)

- name: resident_purchase_financing_commitment_period_days
  kind: parameter
  dtype: Count
  source: 42 USC 1437p(c)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437p
            excerpt: during the 60-day period beginning on the date of receipt of that written notice
  versions:
    - effective_from: '1998-10-21'
      formula: '60'

resident_purchase_written_interest_timely

Derived

source: 42 USC 1437p(c)(2)(A)

- name: resident_purchase_written_interest_timely
  kind: derived
  entity: PublicHousingDisposition
  dtype: Judgment
  period: Day
  source: 42 USC 1437p(c)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437p
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        resident_supported_entity_expressed_written_purchase_interest

        and days_since_notification_of_proposed_sale <=
        resident_purchase_interest_expression_period_days

resident_purchase_initial_offer_required

Derived

source: 42 USC 1437p(c)

- name: resident_purchase_initial_offer_required
  kind: derived
  entity: PublicHousingDisposition
  dtype: Judgment
  period: Day
  source: 42 USC 1437p(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437p
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437p
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        proposed_disposition_of_public_housing_project_or_portion
        and secretary_determined_appropriate_circumstances
        and entity_is_eligible_resident_purchaser_for_continued_low_income_housing
        and resident_purchase_written_interest_timely

resident_purchase_no_disposition_period_applies

Derived

source: 42 USC 1437p(c)(2)(B)

- name: resident_purchase_no_disposition_period_applies
  kind: derived
  entity: PublicHousingDisposition
  dtype: Judgment
  period: Day
  source: 42 USC 1437p(c)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437p
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437p
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        resident_supported_entity_expressed_written_purchase_interest

        and days_since_receipt_of_written_purchase_interest <=
        resident_purchase_financing_commitment_period_days

        and not disposition_is_to_entity_providing_written_purchase_interest

loading…

us/statute/42/1437p/d — Replacement units · Axiom

Replacement units

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437p.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

resident_purchase_interest_expression_period_days

Parameter

source: 42 USC 1437p(c)(2)(A)

- name: resident_purchase_interest_expression_period_days
  kind: parameter
  dtype: Count
  source: 42 USC 1437p(c)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437p
            excerpt: during the 30-day period beginning on the date of notification of a proposed sale
  versions:
    - effective_from: '1998-10-21'
      formula: '30'

resident_purchase_financing_commitment_period_days

Parameter

source: 42 USC 1437p(c)(2)(B)

- name: resident_purchase_financing_commitment_period_days
  kind: parameter
  dtype: Count
  source: 42 USC 1437p(c)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437p
            excerpt: during the 60-day period beginning on the date of receipt of that written notice
  versions:
    - effective_from: '1998-10-21'
      formula: '60'

resident_purchase_written_interest_timely

Derived

source: 42 USC 1437p(c)(2)(A)

- name: resident_purchase_written_interest_timely
  kind: derived
  entity: PublicHousingDisposition
  dtype: Judgment
  period: Day
  source: 42 USC 1437p(c)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437p
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        resident_supported_entity_expressed_written_purchase_interest

        and days_since_notification_of_proposed_sale <=
        resident_purchase_interest_expression_period_days

resident_purchase_initial_offer_required

Derived

source: 42 USC 1437p(c)

- name: resident_purchase_initial_offer_required
  kind: derived
  entity: PublicHousingDisposition
  dtype: Judgment
  period: Day
  source: 42 USC 1437p(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437p
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437p
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        proposed_disposition_of_public_housing_project_or_portion
        and secretary_determined_appropriate_circumstances
        and entity_is_eligible_resident_purchaser_for_continued_low_income_housing
        and resident_purchase_written_interest_timely

resident_purchase_no_disposition_period_applies

Derived

source: 42 USC 1437p(c)(2)(B)

- name: resident_purchase_no_disposition_period_applies
  kind: derived
  entity: PublicHousingDisposition
  dtype: Judgment
  period: Day
  source: 42 USC 1437p(c)(2)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437p
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437p
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        resident_supported_entity_expressed_written_purchase_interest

        and days_since_receipt_of_written_purchase_interest <=
        resident_purchase_financing_commitment_period_days

        and not disposition_is_to_entity_providing_written_purchase_interest