loading…

us/statute/42/1437p/f — De minimis exception to demolition requirements · Axiom

De minimis exception to demolition requirements

Notwithstanding any other provision of this section, in any 5-year period a public housing agency may demolish not more than the lesser of 5 dwelling units or 5 percent of the total dwelling units owned by the public housing agency, but only if the space occupied by the demolished unit is used for meeting the service or other needs of public housing residents or the demolished unit was beyond repair.

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…

De minimis exception to demolition requirements

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