us/statute/42/1437v/f/1

loading…

shall establish cost limits on eligible activities under this section sufficient to provide for effective revitalization programs; and

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437v.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

supplemental_contribution_minimum_rate

Parameter

source: 42 USC 1437v(c)(1)(A)

- name: supplemental_contribution_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437v(c)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: not less than 5 percent of the amount provided under this section
  versions:
    - effective_from: '2017-01-01'
      formula: '0.05'

supportive_services_excess_contribution_threshold_rate

Parameter

source: 42 USC 1437v(c)(1)(B)

- name: supportive_services_excess_contribution_threshold_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437v(c)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: if the applicant uses more than 5 percent of the amount of assistance
  versions:
    - effective_from: '2017-01-01'
      formula: '0.05'

supportive_services_grant_use_cap_rate

Parameter

source: 42 USC 1437v(d)

- name: supportive_services_grant_use_cap_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437v(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: not more than 15 percent of the amount of any grant may be used
  versions:
    - effective_from: '2017-01-01'
      formula: '0.15'

technical_assistance_program_oversight_cap_rate

Parameter

source: 42 USC 1437v(m)(2)

- name: technical_assistance_program_oversight_cap_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437v(m)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: may use up to 2 percent for technical assistance or contract expertise
  versions:
    - effective_from: '2017-01-01'
      formula: '0.02'

main_street_housing_grants_set_aside_cap_rate

Parameter

source: 42 USC 1437v(m)(3)

- name: main_street_housing_grants_set_aside_cap_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437v(m)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: shall provide up to 5 percent for use only for grants under subsection (n)
  versions:
    - effective_from: '2017-01-01'
      formula: '0.05'

fiscal_year_2017_grant_authorization_amount

Parameter

source: 42 USC 1437v(m)(1)

- name: fiscal_year_2017_grant_authorization_amount
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437v(m)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: $574,000,000 for fiscal year 2017
  versions:
    - effective_from: '2017-01-01'
      formula: '574000000'

main_street_single_smaller_community_grant_cap

Parameter

source: 42 USC 1437v(n)

- name: main_street_single_smaller_community_grant_cap
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437v(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: may not exceed $1,000,000
  versions:
    - effective_from: '2017-01-01'
      formula: '1000000'

smaller_community_population_limit

Parameter

source: 42 USC 1437v(n)

- name: smaller_community_population_limit
  kind: parameter
  dtype: Count
  source: 42 USC 1437v(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: has a population of 50,000 or fewer
  versions:
    - effective_from: '2017-01-01'
      formula: '50000'

smaller_community_single_pha_unit_limit

Parameter

source: 42 USC 1437v(n)

- name: smaller_community_single_pha_unit_limit
  kind: parameter
  dtype: Count
  source: 42 USC 1437v(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: administers 100 or fewer public housing dwelling units
  versions:
    - effective_from: '2017-01-01'
      formula: '100'

supportive_services_use_within_cap

Derived

source: 42 USC 1437v(d)

- name: supportive_services_use_within_cap
  kind: derived
  entity: PublicHousingGrant
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: supportive_services_use_amount <= grant_amount * supportive_services_grant_use_cap_rate

cost_limits_apply_to_eligible_activities

Derived

source: 42 USC 1437v(f)

- name: cost_limits_apply_to_eligible_activities
  kind: derived
  entity: PublicHousingGrant
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: activity_is_eligible_under_this_section

secretary_may_require_other_entity_administration

Derived

source: 42 USC 1437v(h)

- name: secretary_may_require_other_entity_administration
  kind: derived
  entity: PublicHousingGrant
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(h)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: |-
        grantee_received_grant_under_this_section
        and secretary_determines_other_entity_will_effectuate_section_purposes

applicant

Derived

source: 42 USC 1437v(j)

- name: applicant
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: |-
        public_housing_agency_not_designated_troubled
        or private_management_agent_selected_or_receiver_appointed
        or (public_housing_agency_designated_troubled and troubled_agency_capable_branch_satisfied)

severely_distressed_public_housing

Derived

source: 42 USC 1437v(j)

- name: severely_distressed_public_housing
  kind: derived
  entity: PublicHousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: >-
        (requires_major_redesign_reconstruction_redevelopment_or_demolition

        and significantly_contributes_to_surrounding_neighborhood_decline

        and has_severe_resident_or_project_social_distress

        and
        cannot_be_revitalized_through_other_public_housing_assistance_because_of_cost_constraints

        and (not project_part_is_individual_building or
        secretary_determines_building_sufficiently_separable))

        or (formerly_met_severely_distressed_project_description

        and legally_vacated_or_demolished

        and not
        secretary_has_provided_replacement_housing_assistance_other_than_tenant_based_assistance)

supportive_services

Derived

source: 42 USC 1437v(j)

- name: supportive_services
  kind: derived
  entity: PublicHousingActivity
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: >-
        activity_promotes_upward_mobility_self_sufficiency_or_improved_quality_of_life_for_project_residents

smaller_community

Derived

source: 42 USC 1437v(n)

- name: smaller_community
  kind: derived
  entity: SmallerCommunity
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: >-
        unit_of_general_local_government

        and population <= smaller_community_population_limit

        and (not served_by_public_housing_agency or (served_by_single_public_housing_agency and
        public_housing_dwelling_units_administered <= smaller_community_single_pha_unit_limit))

main_street_single_community_grant_within_cap

Derived

source: 42 USC 1437v(n)

- name: main_street_single_community_grant_within_cap
  kind: derived
  entity: SmallerCommunityGrant
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: grant_amount <= main_street_single_smaller_community_grant_cap

loading…

us/statute/42/1437v/f/1 · Axiom

Official source

shall establish cost limits on eligible activities under this section sufficient to provide for effective revitalization programs; and

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437v.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

supplemental_contribution_minimum_rate

Parameter

source: 42 USC 1437v(c)(1)(A)

- name: supplemental_contribution_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437v(c)(1)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: not less than 5 percent of the amount provided under this section
  versions:
    - effective_from: '2017-01-01'
      formula: '0.05'

supportive_services_excess_contribution_threshold_rate

Parameter

source: 42 USC 1437v(c)(1)(B)

- name: supportive_services_excess_contribution_threshold_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437v(c)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: if the applicant uses more than 5 percent of the amount of assistance
  versions:
    - effective_from: '2017-01-01'
      formula: '0.05'

supportive_services_grant_use_cap_rate

Parameter

source: 42 USC 1437v(d)

- name: supportive_services_grant_use_cap_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437v(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: not more than 15 percent of the amount of any grant may be used
  versions:
    - effective_from: '2017-01-01'
      formula: '0.15'

technical_assistance_program_oversight_cap_rate

Parameter

source: 42 USC 1437v(m)(2)

- name: technical_assistance_program_oversight_cap_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437v(m)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: may use up to 2 percent for technical assistance or contract expertise
  versions:
    - effective_from: '2017-01-01'
      formula: '0.02'

main_street_housing_grants_set_aside_cap_rate

Parameter

source: 42 USC 1437v(m)(3)

- name: main_street_housing_grants_set_aside_cap_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437v(m)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: shall provide up to 5 percent for use only for grants under subsection (n)
  versions:
    - effective_from: '2017-01-01'
      formula: '0.05'

fiscal_year_2017_grant_authorization_amount

Parameter

source: 42 USC 1437v(m)(1)

- name: fiscal_year_2017_grant_authorization_amount
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437v(m)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: $574,000,000 for fiscal year 2017
  versions:
    - effective_from: '2017-01-01'
      formula: '574000000'

main_street_single_smaller_community_grant_cap

Parameter

source: 42 USC 1437v(n)

- name: main_street_single_smaller_community_grant_cap
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 42 USC 1437v(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: may not exceed $1,000,000
  versions:
    - effective_from: '2017-01-01'
      formula: '1000000'

smaller_community_population_limit

Parameter

source: 42 USC 1437v(n)

- name: smaller_community_population_limit
  kind: parameter
  dtype: Count
  source: 42 USC 1437v(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: has a population of 50,000 or fewer
  versions:
    - effective_from: '2017-01-01'
      formula: '50000'

smaller_community_single_pha_unit_limit

Parameter

source: 42 USC 1437v(n)

- name: smaller_community_single_pha_unit_limit
  kind: parameter
  dtype: Count
  source: 42 USC 1437v(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437v
            excerpt: administers 100 or fewer public housing dwelling units
  versions:
    - effective_from: '2017-01-01'
      formula: '100'

supportive_services_use_within_cap

Derived

source: 42 USC 1437v(d)

- name: supportive_services_use_within_cap
  kind: derived
  entity: PublicHousingGrant
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: supportive_services_use_amount <= grant_amount * supportive_services_grant_use_cap_rate

cost_limits_apply_to_eligible_activities

Derived

source: 42 USC 1437v(f)

- name: cost_limits_apply_to_eligible_activities
  kind: derived
  entity: PublicHousingGrant
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: activity_is_eligible_under_this_section

secretary_may_require_other_entity_administration

Derived

source: 42 USC 1437v(h)

- name: secretary_may_require_other_entity_administration
  kind: derived
  entity: PublicHousingGrant
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(h)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: |-
        grantee_received_grant_under_this_section
        and secretary_determines_other_entity_will_effectuate_section_purposes

applicant

Derived

source: 42 USC 1437v(j)

- name: applicant
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: |-
        public_housing_agency_not_designated_troubled
        or private_management_agent_selected_or_receiver_appointed
        or (public_housing_agency_designated_troubled and troubled_agency_capable_branch_satisfied)

severely_distressed_public_housing

Derived

source: 42 USC 1437v(j)

- name: severely_distressed_public_housing
  kind: derived
  entity: PublicHousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: >-
        (requires_major_redesign_reconstruction_redevelopment_or_demolition

        and significantly_contributes_to_surrounding_neighborhood_decline

        and has_severe_resident_or_project_social_distress

        and
        cannot_be_revitalized_through_other_public_housing_assistance_because_of_cost_constraints

        and (not project_part_is_individual_building or
        secretary_determines_building_sufficiently_separable))

        or (formerly_met_severely_distressed_project_description

        and legally_vacated_or_demolished

        and not
        secretary_has_provided_replacement_housing_assistance_other_than_tenant_based_assistance)

supportive_services

Derived

source: 42 USC 1437v(j)

- name: supportive_services
  kind: derived
  entity: PublicHousingActivity
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: >-
        activity_promotes_upward_mobility_self_sufficiency_or_improved_quality_of_life_for_project_residents

smaller_community

Derived

source: 42 USC 1437v(n)

- name: smaller_community
  kind: derived
  entity: SmallerCommunity
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: >-
        unit_of_general_local_government

        and population <= smaller_community_population_limit

        and (not served_by_public_housing_agency or (served_by_single_public_housing_agency and
        public_housing_dwelling_units_administered <= smaller_community_single_pha_unit_limit))

main_street_single_community_grant_within_cap

Derived

source: 42 USC 1437v(n)

- name: main_street_single_community_grant_within_cap
  kind: derived
  entity: SmallerCommunityGrant
  dtype: Judgment
  period: Year
  source: 42 USC 1437v(n)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437v
  versions:
    - effective_from: '2017-01-01'
      formula: grant_amount <= main_street_single_smaller_community_grant_cap