us/statute/42/1437p/a/1

loading…

in the case of—

(A) an application proposing demolition of a public housing project or a portion of a public housing project, that— (i) the project or portion of the public housing project is obsolete as to physical condition, location, or other factors, making it unsuitable for housing purposes; and (ii) no reasonable program of modifications is cost-effective to return the public housing project or portion of the project to useful life; and

(B) an application proposing the demolition of only a portion of a public housing project, that the demolition will help to ensure the viability of the remaining portion of the project;

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/a/1 · Axiom

Official source

in the case of—

(B) an application proposing the demolition of only a portion of a public housing project, that the demolition will help to ensure the viability of the remaining portion of the project;

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