Axiom Foundation

loading…

us/statute/42/1437v/n — Grants for assisting affordable housing developed through main street projects in smaller communities · Axiom

in view

Whole section

Encodings · 5

main_street_single_smaller_community_grant_cap42 USC § 1437v (n) · parameter

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'

open in graph ↗

smaller_community_population_limit42 USC § 1437v (n) · parameter

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'

open in graph ↗

smaller_community_single_pha_unit_limit42 USC § 1437v (n) · parameter

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'

open in graph ↗

smaller_community42 USC § 1437v (n) · derived

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))

open in graph ↗

main_street_single_community_grant_within_cap42 USC § 1437v (n) · derived

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

open in graph ↗

▸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

▸citations (1)

References

This rule cites 1 other rule.

42 USC § 5302inferredUS Federal › Statutes › Title 42 › § 5302

Grants for assisting affordable housing developed through main street projects in smaller communities

Grants for assisting affordable housing developed through main street projects in smaller communities

(1)Authority and use of grant amounts#

(2)Eligible project#

(3)Main street projects#

(4)Eligible affordable housing activities#

(5)Maximum grant amount#

(6)Contribution requirement#

(7)Applications and selection#

(8)Cost limits#

(9)Inapplicability of other provisions#

(10)Reporting#

(11)Definitions#

supplemental_contribution_minimum_rate

supportive_services_excess_contribution_threshold_rate

supportive_services_grant_use_cap_rate

technical_assistance_program_oversight_cap_rate

main_street_housing_grants_set_aside_cap_rate

fiscal_year_2017_grant_authorization_amount

main_street_single_smaller_community_grant_cap

smaller_community_population_limit

smaller_community_single_pha_unit_limit

supportive_services_use_within_cap

cost_limits_apply_to_eligible_activities

secretary_may_require_other_entity_administration

applicant

severely_distressed_public_housing

supportive_services

smaller_community

main_street_single_community_grant_within_cap