us/statute/42/1437p/a/5

loading…

that the net proceeds of any disposition will be used—

(A) unless waived by the Secretary, for the retirement of outstanding obligations issued to finance the original public housing project or modernization of the project; and

(B) to the extent that any proceeds remain after the application of proceeds in accordance with subparagraph (A), for— (i) the provision of low-income housing or to benefit the residents of the public housing agency; or (ii) leveraging amounts for securing commercial enterprises, on-site in public housing projects of the public housing agency, appropriate to serve the needs of the residents; and

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/5 · Axiom

Official source

that the net proceeds of any disposition will be used—

(A) unless waived by the Secretary, for the retirement of outstanding obligations issued to finance the original public housing project or modernization of the project; and

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