loading…

In general

2 rules

The Secretary may not make any grant under this section to any applicant unless the applicant certifies to the Secretary that the applicant will—

(A) supplement the aggregate amount of assistance provided under this section with an amount of funds from sources other than this section equal to not less than 5 percent of the amount provided under this section; and

(B) in addition to supplemental amounts provided in accordance with subparagraph (A), if the applicant uses more than 5 percent of the amount of assistance provided under this section for services under subsection (d)(1)(L), provide supplemental funds from sources other than this section in an amount equal to the amount so used in excess of 5 percent.

in view

Whole section

Encodings · 2

supplemental_contribution_minimum_rate42 USC § 1437v (c)(1) (A) · parameter

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'

open in graph ↗

supportive_services_excess_contribution_threshold_rate42 USC § 1437v (c)(1) (B) · parameter

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'

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(A) in text ↖

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(B) in text ↖

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/c/1 — In general · Axiom

In general

2 rules

Official source

graph ↗build calculator ↗

The Secretary may not make any grant under this section to any applicant unless the applicant certifies to the Secretary that the applicant will—

in view

Whole section

Encodings · 2

supplemental_contribution_minimum_rate42 USC § 1437v (c)(1) (A) · parameter

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'

open in graph ↗

supportive_services_excess_contribution_threshold_rate42 USC § 1437v (c)(1) (B) · parameter

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'

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(A) in text ↖

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(B) in text ↖

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