loading…

Condition on use

No portion of any public housing project operated using amounts provided under this subsection, or under this section as in effect before the effective date under section 503(a) of the Quality Housing and Work Responsibility Act of 1998, may be disposed of before the expiration of the 10-year period beginning upon the conclusion of the fiscal year for which such amounts were provided, except as otherwise provided in this chapter.

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437g.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

capital_fund_authorization_amount_fiscal_year_1999

Parameter

source: 42 USC 1437g(c)

- name: capital_fund_authorization_amount_fiscal_year_1999
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437g(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: $3,000,000,000 for fiscal year 1999
  versions:
    - effective_from: '1998-10-21'
      formula: '3000000000'

operating_fund_authorization_amount_fiscal_year_1999

Parameter

source: 42 USC 1437g(c)

- name: operating_fund_authorization_amount_fiscal_year_1999
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437g(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: $2,900,000,000 for fiscal year 1999
  versions:
    - effective_from: '1998-10-21'
      formula: '2900000000'

capital_fund_development_operation_period_years

Parameter

source: 42 USC 1437g(d)

- name: capital_fund_development_operation_period_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: during the 40-year period
  versions:
    - effective_from: '1998-10-21'
      formula: '40'

capital_fund_modernization_operation_period_years

Parameter

source: 42 USC 1437g(d)

- name: capital_fund_modernization_operation_period_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: during the 20-year period
  versions:
    - effective_from: '1998-10-21'
      formula: '20'

operating_fund_disposition_restriction_period_years

Parameter

source: 42 USC 1437g(e)

- name: operating_fund_disposition_restriction_period_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: before the expiration of the 10-year period
  versions:
    - effective_from: '1998-10-21'
      formula: '10'

fund_flexibility_limit_rate

Parameter

source: 42 USC 1437g(g)

- name: fund_flexibility_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437g(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: not more than 20 percent
  versions:
    - effective_from: '1998-10-21'
      formula: '0.20'

full_flexibility_small_pha_unit_threshold

Parameter

source: 42 USC 1437g(g)

- name: full_flexibility_small_pha_unit_threshold
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: less than 250 public housing dwelling units
  versions:
    - effective_from: '1998-10-21'
      formula: '250'

capital_fund_obligation_deadline_months

Parameter

source: 42 USC 1437g(j)

- name: capital_fund_obligation_deadline_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: not later than 24 months
  versions:
    - effective_from: '1998-10-21'
      formula: '24'

unobligated_amount_disregard_limit_rate

Parameter

source: 42 USC 1437g(j)

- name: unobligated_amount_disregard_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437g(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: does not exceed 10 percent
  versions:
    - effective_from: '1998-10-21'
      formula: '0.10'

additional_obligation_extension_limit_months

Parameter

source: 42 USC 1437g(j)

- name: additional_obligation_extension_limit_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: not to exceed 12 months
  versions:
    - effective_from: '1998-10-21'
      formula: '12'

expenditure_deadline_years

Parameter

source: 42 USC 1437g(j)

- name: expenditure_deadline_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: not later than 4 years
  versions:
    - effective_from: '1998-10-21'
      formula: '4'

nycha_asthma_program_annual_cap

Parameter

source: 42 USC 1437g(m)

- name: nycha_asthma_program_annual_cap
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437g(m)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: $500,000 per year
  versions:
    - effective_from: '1998-10-21'
      formula: '500000'

nycha_elderly_services_plan_annual_cap

Parameter

source: 42 USC 1437g(m)

- name: nycha_elderly_services_plan_annual_cap
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437g(m)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: $600,000 per year
  versions:
    - effective_from: '1998-10-21'
      formula: '600000'

acquired_units_allocation_counting_limit_years

Parameter

source: 42 USC 1437g(i)

- name: acquired_units_allocation_counting_limit_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: in no case longer than 5 years
  versions:
    - effective_from: '1998-10-21'
      formula: '5'

full_flexibility_for_small_pha_applies

Derived

source: 42 USC 1437g(g)

- name: full_flexibility_for_small_pha_applies
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437g(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              owns or operates less than 250 public housing dwelling units, is not designated ... as
              a troubled public housing agency, and ... is operating and maintaining its public
              housing in a safe, clean, and healthy condition
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437g#full_flexibility_small_pha_unit_threshold
            output: full_flexibility_small_pha_unit_threshold
            hash: sha256:local
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        public_housing_dwelling_units_owned_or_operated < full_flexibility_small_pha_unit_threshold
        and not public_housing_agency_designated_troubled
        and secretary_determines_public_housing_operated_and_maintained_safe_clean_healthy

capital_fund_amount_usable_for_operating_activities

Derived

source: 42 USC 1437g(g)

- name: capital_fund_amount_usable_for_operating_activities
  kind: derived
  entity: PublicHousingAgency
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437g(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              may use not more than 20 percent for activities that are eligible under subsection (e)
              ... but only if the public housing agency plan ... provides for such use
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437g#fund_flexibility_limit_rate
            output: fund_flexibility_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2000-01-01'
      formula: >-
        if public_housing_agency_plan_provides_for_capital_fund_use_for_operating_activities:
        capital_fund_amount_allocated * fund_flexibility_limit_rate else: 0

operating_fund_amount_usable_for_capital_activities

Derived

source: 42 USC 1437g(g)

- name: operating_fund_amount_usable_for_capital_activities
  kind: derived
  entity: PublicHousingAgency
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437g(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              may use not more than 20 percent for activities that are eligible under subsection (d)
              ... but only if the public housing plan ... provides for such use
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437g#fund_flexibility_limit_rate
            output: fund_flexibility_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2016-01-01'
      formula: >-
        if public_housing_plan_provides_for_operating_fund_use_for_capital_activities:
        operating_fund_amount_allocated * fund_flexibility_limit_rate else: 0

technical_assistance_authorized_when_appropriated_in_advance

Derived

source: 42 USC 1437g(h)

- name: technical_assistance_authorized_when_appropriated_in_advance
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437g(h)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              To the extent amounts are provided in advance in appropriations Acts, the Secretary
              may make grants or enter into contracts or cooperative agreements
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        amounts_provided_in_advance_in_appropriations_acts

        and
        assistance_is_for_technical_assistance_training_data_collection_or_related_public_housing_support

replacement_reserve_may_be_established

Derived

source: 42 USC 1437g(n)

- name: replacement_reserve_may_be_established
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437g(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              Public housing agencies shall be permitted to establish a replacement reserve to fund
              any of the capital activities listed in subsection (d)(1).
  versions:
    - effective_from: '1998-10-21'
      formula: replacement_reserve_funds_capital_activities_listed_in_subsection_d_1

replacement_reserve_expenditure_authorized

Derived

source: 42 USC 1437g(n)

- name: replacement_reserve_expenditure_authorized
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437g(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              Funds in a replacement reserve may be used for purposes authorized by subsection
              (d)(1) and contained in its Capital Fund 5-Year Action Plan.
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        replacement_reserve_use_is_for_purpose_authorized_by_subsection_d_1
        and replacement_reserve_use_is_contained_in_capital_fund_5_year_action_plan

public_housing_heating_guidelines_publication_required

Derived

source: 42 USC 1437g(o)

- name: public_housing_heating_guidelines_publication_required
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437g(o)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              The Secretary shall publish model guidelines for minimum heating requirements for
              public housing dwelling units operated by public housing agencies receiving assistance
              under this section.
  versions:
    - effective_from: '1998-10-21'
      formula: public_housing_agency_receives_assistance_under_this_section

loading…

us/statute/42/1437g/e/3 — Condition on use · Axiom

Condition on use

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437g.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

capital_fund_authorization_amount_fiscal_year_1999

Parameter

source: 42 USC 1437g(c)

- name: capital_fund_authorization_amount_fiscal_year_1999
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437g(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: $3,000,000,000 for fiscal year 1999
  versions:
    - effective_from: '1998-10-21'
      formula: '3000000000'

operating_fund_authorization_amount_fiscal_year_1999

Parameter

source: 42 USC 1437g(c)

- name: operating_fund_authorization_amount_fiscal_year_1999
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437g(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: $2,900,000,000 for fiscal year 1999
  versions:
    - effective_from: '1998-10-21'
      formula: '2900000000'

capital_fund_development_operation_period_years

Parameter

source: 42 USC 1437g(d)

- name: capital_fund_development_operation_period_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: during the 40-year period
  versions:
    - effective_from: '1998-10-21'
      formula: '40'

capital_fund_modernization_operation_period_years

Parameter

source: 42 USC 1437g(d)

- name: capital_fund_modernization_operation_period_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: during the 20-year period
  versions:
    - effective_from: '1998-10-21'
      formula: '20'

operating_fund_disposition_restriction_period_years

Parameter

source: 42 USC 1437g(e)

- name: operating_fund_disposition_restriction_period_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: before the expiration of the 10-year period
  versions:
    - effective_from: '1998-10-21'
      formula: '10'

fund_flexibility_limit_rate

Parameter

source: 42 USC 1437g(g)

- name: fund_flexibility_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437g(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: not more than 20 percent
  versions:
    - effective_from: '1998-10-21'
      formula: '0.20'

full_flexibility_small_pha_unit_threshold

Parameter

source: 42 USC 1437g(g)

- name: full_flexibility_small_pha_unit_threshold
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: less than 250 public housing dwelling units
  versions:
    - effective_from: '1998-10-21'
      formula: '250'

capital_fund_obligation_deadline_months

Parameter

source: 42 USC 1437g(j)

- name: capital_fund_obligation_deadline_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: not later than 24 months
  versions:
    - effective_from: '1998-10-21'
      formula: '24'

unobligated_amount_disregard_limit_rate

Parameter

source: 42 USC 1437g(j)

- name: unobligated_amount_disregard_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437g(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: does not exceed 10 percent
  versions:
    - effective_from: '1998-10-21'
      formula: '0.10'

additional_obligation_extension_limit_months

Parameter

source: 42 USC 1437g(j)

- name: additional_obligation_extension_limit_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: not to exceed 12 months
  versions:
    - effective_from: '1998-10-21'
      formula: '12'

expenditure_deadline_years

Parameter

source: 42 USC 1437g(j)

- name: expenditure_deadline_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: not later than 4 years
  versions:
    - effective_from: '1998-10-21'
      formula: '4'

nycha_asthma_program_annual_cap

Parameter

source: 42 USC 1437g(m)

- name: nycha_asthma_program_annual_cap
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437g(m)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: $500,000 per year
  versions:
    - effective_from: '1998-10-21'
      formula: '500000'

nycha_elderly_services_plan_annual_cap

Parameter

source: 42 USC 1437g(m)

- name: nycha_elderly_services_plan_annual_cap
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437g(m)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: $600,000 per year
  versions:
    - effective_from: '1998-10-21'
      formula: '600000'

acquired_units_allocation_counting_limit_years

Parameter

source: 42 USC 1437g(i)

- name: acquired_units_allocation_counting_limit_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437g(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: in no case longer than 5 years
  versions:
    - effective_from: '1998-10-21'
      formula: '5'

full_flexibility_for_small_pha_applies

Derived

source: 42 USC 1437g(g)

- name: full_flexibility_for_small_pha_applies
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437g(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              owns or operates less than 250 public housing dwelling units, is not designated ... as
              a troubled public housing agency, and ... is operating and maintaining its public
              housing in a safe, clean, and healthy condition
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437g#full_flexibility_small_pha_unit_threshold
            output: full_flexibility_small_pha_unit_threshold
            hash: sha256:local
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        public_housing_dwelling_units_owned_or_operated < full_flexibility_small_pha_unit_threshold
        and not public_housing_agency_designated_troubled
        and secretary_determines_public_housing_operated_and_maintained_safe_clean_healthy

capital_fund_amount_usable_for_operating_activities

Derived

source: 42 USC 1437g(g)

- name: capital_fund_amount_usable_for_operating_activities
  kind: derived
  entity: PublicHousingAgency
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437g(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              may use not more than 20 percent for activities that are eligible under subsection (e)
              ... but only if the public housing agency plan ... provides for such use
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437g#fund_flexibility_limit_rate
            output: fund_flexibility_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2000-01-01'
      formula: >-
        if public_housing_agency_plan_provides_for_capital_fund_use_for_operating_activities:
        capital_fund_amount_allocated * fund_flexibility_limit_rate else: 0

operating_fund_amount_usable_for_capital_activities

Derived

source: 42 USC 1437g(g)

- name: operating_fund_amount_usable_for_capital_activities
  kind: derived
  entity: PublicHousingAgency
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437g(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              may use not more than 20 percent for activities that are eligible under subsection (d)
              ... but only if the public housing plan ... provides for such use
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437g#fund_flexibility_limit_rate
            output: fund_flexibility_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2016-01-01'
      formula: >-
        if public_housing_plan_provides_for_operating_fund_use_for_capital_activities:
        operating_fund_amount_allocated * fund_flexibility_limit_rate else: 0

technical_assistance_authorized_when_appropriated_in_advance

Derived

source: 42 USC 1437g(h)

- name: technical_assistance_authorized_when_appropriated_in_advance
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437g(h)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              To the extent amounts are provided in advance in appropriations Acts, the Secretary
              may make grants or enter into contracts or cooperative agreements
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        amounts_provided_in_advance_in_appropriations_acts

        and
        assistance_is_for_technical_assistance_training_data_collection_or_related_public_housing_support

replacement_reserve_may_be_established

Derived

source: 42 USC 1437g(n)

- name: replacement_reserve_may_be_established
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437g(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              Public housing agencies shall be permitted to establish a replacement reserve to fund
              any of the capital activities listed in subsection (d)(1).
  versions:
    - effective_from: '1998-10-21'
      formula: replacement_reserve_funds_capital_activities_listed_in_subsection_d_1

replacement_reserve_expenditure_authorized

Derived

source: 42 USC 1437g(n)

- name: replacement_reserve_expenditure_authorized
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437g(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              Funds in a replacement reserve may be used for purposes authorized by subsection
              (d)(1) and contained in its Capital Fund 5-Year Action Plan.
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        replacement_reserve_use_is_for_purpose_authorized_by_subsection_d_1
        and replacement_reserve_use_is_contained_in_capital_fund_5_year_action_plan

public_housing_heating_guidelines_publication_required

Derived

source: 42 USC 1437g(o)

- name: public_housing_heating_guidelines_publication_required
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437g(o)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437g
            excerpt: >-
              The Secretary shall publish model guidelines for minimum heating requirements for
              public housing dwelling units operated by public housing agencies receiving assistance
              under this section.
  versions:
    - effective_from: '1998-10-21'
      formula: public_housing_agency_receives_assistance_under_this_section