loading…

Rental vouchers for relocation of witnesses and victims of crime

(A) Witnesses Of amounts made available for assistance under this subsection in each fiscal year, the Secretary, in consultation with the Inspector General, shall make available such sums as may be necessary for the relocation of witnesses in connection with efforts to combat crime in public and assisted housing pursuant to requests from law enforcement or prosecution agencies.

(B) Victims of crime (i) In general Of amounts made available for assistance under this section in each fiscal year, the Secretary shall make available such sums as may be necessary for the relocation of families residing in public housing who are victims of a crime of violence (as that term is defined in section 16 of title 18 ) that has been reported to an appropriate law enforcement agency. (ii) Notice A public housing agency that receives amounts under this subparagraph shall establish procedures for providing notice of the availability of that assistance to families that may be eligible for that assistance.

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437f/o.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

payment_standard_general_minimum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(B)

- name: payment_standard_general_minimum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall be not less than 90 percent of that fair market rental
  versions:
    - effective_from: '1998-10-21'
      formula: '0.90'

payment_standard_general_maximum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(B)

- name: payment_standard_general_maximum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall not exceed 110 percent of the fair market rental
  versions:
    - effective_from: '1998-10-21'
      formula: '1.10'

disability_reasonable_accommodation_payment_standard_without_secretary_approval_maximum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(D)

- name: disability_reasonable_accommodation_payment_standard_without_secretary_approval_maximum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 120 percent of the fair market rent
  versions:
    - effective_from: '1998-10-21'
      formula: '1.20'

tenant_rent_adjusted_income_rate

Parameter

source: 42 USC 1437f(o)(2)(A)(i)

- name: tenant_rent_adjusted_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(2)(A)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: 30 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.30'

tenant_rent_monthly_income_rate

Parameter

source: 42 USC 1437f(o)(2)(A)(ii)

- name: tenant_rent_monthly_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(2)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: 10 percent of the monthly income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.10'

initial_tenant_based_family_rent_adjusted_income_limit_rate

Parameter

source: 42 USC 1437f(o)(3)

- name: initial_tenant_based_family_rent_adjusted_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: may not exceed 40 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.40'

project_based_authorized_units_base_limit_rate

Parameter

source: 42 USC 1437f(o)(13)(B)(i)

- name: project_based_authorized_units_base_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 20 percent of the authorized units
  versions:
    - effective_from: '2016-07-29'
      formula: '0.20'

project_based_authorized_units_additional_exception_limit_rate

Parameter

source: 42 USC 1437f(o)(13)(B)(ii)

- name: project_based_authorized_units_additional_exception_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: up to an additional 10 percent of the authorized units
  versions:
    - effective_from: '2016-07-29'
      formula: '0.10'

project_income_mixing_dwelling_unit_count_limit

Parameter

source: 42 USC 1437f(o)(13)(D)(i)

- name: project_income_mixing_dwelling_unit_count_limit
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(o)(13)(D)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: '25'

project_income_mixing_dwelling_unit_rate_limit

Parameter

source: 42 USC 1437f(o)(13)(D)(i)

- name: project_income_mixing_dwelling_unit_rate_limit
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(D)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: '0.25'

tenant_contribution_greatest_amount

Derived

source: 42 USC 1437f(o)(2)(A)

- name: tenant_contribution_greatest_amount
  kind: derived
  entity: Family
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 1437f(o)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: the greatest of the following amounts
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        max(tenant_rent_adjusted_income_rate * monthly_adjusted_income,
        tenant_rent_monthly_income_rate * monthly_income, welfare_housing_cost_designated_amount)

tenant_based_monthly_assistance_payment

Derived

source: 42 USC 1437f(o)(2)

- name: tenant_based_monthly_assistance_payment
  kind: derived
  entity: Family
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 1437f(o)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: >-
              if the rent ... does not exceed the applicable payment standard ... rent ... exceeds
              the greatest
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: >-
              if the rent ... exceeds the applicable payment standard ... payment standard exceeds
              the greatest
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        if rent_including_tenant_paid_utilities <= applicable_payment_standard: max(0,
        rent_including_tenant_paid_utilities - tenant_contribution_greatest_amount) else: max(0,
        applicable_payment_standard - tenant_contribution_greatest_amount)

initial_tenant_based_family_rent_within_limit

Derived

source: 42 USC 1437f(o)(3)

- name: initial_tenant_based_family_rent_within_limit
  kind: derived
  entity: Family
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: may not exceed 40 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        total_initial_family_rent <= initial_tenant_based_family_rent_adjusted_income_limit_rate *
        monthly_adjusted_income

general_payment_standard_within_fair_market_rental_range

Derived

source: 42 USC 1437f(o)(1)(B)

- name: general_payment_standard_within_fair_market_rental_range
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall not exceed 110 percent ... and shall be not less than 90 percent
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        payment_standard >= payment_standard_general_minimum_fmr_rate * fair_market_rental
        and payment_standard <= payment_standard_general_maximum_fmr_rate * fair_market_rental

project_based_authorized_units_within_limit

Derived

source: 42 USC 1437f(o)(13)(B)

- name: project_based_authorized_units_within_limit
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(13)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 20 percent ... up to an additional 10 percent
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437f/d#project_based_assistance_common_area_consent_required
            output: project_based_assistance_common_area_consent_required
            hash: sha256:6b4fcf3eca0e705a3c38348fe896c922d97f52e64497735af48af7a03816db45
  versions:
    - effective_from: '2016-07-29'
      formula: >-
        (project_based_assistance_common_area_consent_required

        and (((additional_exception_units_qualify) and project_based_assistance_units <=
        authorized_units * (project_based_authorized_units_base_limit_rate +
        (project_based_authorized_units_additional_exception_limit_rate)))
          or (not (additional_exception_units_qualify) and project_based_assistance_units <= authorized_units * (project_based_authorized_units_base_limit_rate + (0)))))

project_income_mixing_within_limit

Derived

source: 42 USC 1437f(o)(13)(D)

- name: project_income_mixing_within_limit
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(13)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: >-
        income_mixing_exception_applies

        or assisted_dwelling_units <= max(project_income_mixing_dwelling_unit_count_limit,
        project_income_mixing_dwelling_unit_rate_limit * project_dwelling_units)

loading…

us/statute/42/1437f/o/16 — Rental vouchers for relocation of witnesses and victims of crime · Axiom

Rental vouchers for relocation of witnesses and victims of crime

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437f/o.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

payment_standard_general_minimum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(B)

- name: payment_standard_general_minimum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall be not less than 90 percent of that fair market rental
  versions:
    - effective_from: '1998-10-21'
      formula: '0.90'

payment_standard_general_maximum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(B)

- name: payment_standard_general_maximum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall not exceed 110 percent of the fair market rental
  versions:
    - effective_from: '1998-10-21'
      formula: '1.10'

disability_reasonable_accommodation_payment_standard_without_secretary_approval_maximum_fmr_rate

Parameter

source: 42 USC 1437f(o)(1)(D)

- name: disability_reasonable_accommodation_payment_standard_without_secretary_approval_maximum_fmr_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(1)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 120 percent of the fair market rent
  versions:
    - effective_from: '1998-10-21'
      formula: '1.20'

tenant_rent_adjusted_income_rate

Parameter

source: 42 USC 1437f(o)(2)(A)(i)

- name: tenant_rent_adjusted_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(2)(A)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: 30 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.30'

tenant_rent_monthly_income_rate

Parameter

source: 42 USC 1437f(o)(2)(A)(ii)

- name: tenant_rent_monthly_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(2)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: 10 percent of the monthly income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.10'

initial_tenant_based_family_rent_adjusted_income_limit_rate

Parameter

source: 42 USC 1437f(o)(3)

- name: initial_tenant_based_family_rent_adjusted_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: may not exceed 40 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: '0.40'

project_based_authorized_units_base_limit_rate

Parameter

source: 42 USC 1437f(o)(13)(B)(i)

- name: project_based_authorized_units_base_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(B)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 20 percent of the authorized units
  versions:
    - effective_from: '2016-07-29'
      formula: '0.20'

project_based_authorized_units_additional_exception_limit_rate

Parameter

source: 42 USC 1437f(o)(13)(B)(ii)

- name: project_based_authorized_units_additional_exception_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(B)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: up to an additional 10 percent of the authorized units
  versions:
    - effective_from: '2016-07-29'
      formula: '0.10'

project_income_mixing_dwelling_unit_count_limit

Parameter

source: 42 USC 1437f(o)(13)(D)(i)

- name: project_income_mixing_dwelling_unit_count_limit
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(o)(13)(D)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: '25'

project_income_mixing_dwelling_unit_rate_limit

Parameter

source: 42 USC 1437f(o)(13)(D)(i)

- name: project_income_mixing_dwelling_unit_rate_limit
  kind: parameter
  dtype: Rate
  source: 42 USC 1437f(o)(13)(D)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: '0.25'

tenant_contribution_greatest_amount

Derived

source: 42 USC 1437f(o)(2)(A)

- name: tenant_contribution_greatest_amount
  kind: derived
  entity: Family
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 1437f(o)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: the greatest of the following amounts
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        max(tenant_rent_adjusted_income_rate * monthly_adjusted_income,
        tenant_rent_monthly_income_rate * monthly_income, welfare_housing_cost_designated_amount)

tenant_based_monthly_assistance_payment

Derived

source: 42 USC 1437f(o)(2)

- name: tenant_based_monthly_assistance_payment
  kind: derived
  entity: Family
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 1437f(o)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: >-
              if the rent ... does not exceed the applicable payment standard ... rent ... exceeds
              the greatest
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: >-
              if the rent ... exceeds the applicable payment standard ... payment standard exceeds
              the greatest
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        if rent_including_tenant_paid_utilities <= applicable_payment_standard: max(0,
        rent_including_tenant_paid_utilities - tenant_contribution_greatest_amount) else: max(0,
        applicable_payment_standard - tenant_contribution_greatest_amount)

initial_tenant_based_family_rent_within_limit

Derived

source: 42 USC 1437f(o)(3)

- name: initial_tenant_based_family_rent_within_limit
  kind: derived
  entity: Family
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: may not exceed 40 percent of the monthly adjusted income
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        total_initial_family_rent <= initial_tenant_based_family_rent_adjusted_income_limit_rate *
        monthly_adjusted_income

general_payment_standard_within_fair_market_rental_range

Derived

source: 42 USC 1437f(o)(1)(B)

- name: general_payment_standard_within_fair_market_rental_range
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(1)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: shall not exceed 110 percent ... and shall be not less than 90 percent
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        payment_standard >= payment_standard_general_minimum_fmr_rate * fair_market_rental
        and payment_standard <= payment_standard_general_maximum_fmr_rate * fair_market_rental

project_based_authorized_units_within_limit

Derived

source: 42 USC 1437f(o)(13)(B)

- name: project_based_authorized_units_within_limit
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(13)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than 20 percent ... up to an additional 10 percent
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437f/d#project_based_assistance_common_area_consent_required
            output: project_based_assistance_common_area_consent_required
            hash: sha256:6b4fcf3eca0e705a3c38348fe896c922d97f52e64497735af48af7a03816db45
  versions:
    - effective_from: '2016-07-29'
      formula: >-
        (project_based_assistance_common_area_consent_required

        and (((additional_exception_units_qualify) and project_based_assistance_units <=
        authorized_units * (project_based_authorized_units_base_limit_rate +
        (project_based_authorized_units_additional_exception_limit_rate)))
          or (not (additional_exception_units_qualify) and project_based_assistance_units <= authorized_units * (project_based_authorized_units_base_limit_rate + (0)))))

project_income_mixing_within_limit

Derived

source: 42 USC 1437f(o)(13)(D)

- name: project_income_mixing_within_limit
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(o)(13)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437f/o
            excerpt: not more than the greater of 25 dwelling units or 25 percent
  versions:
    - effective_from: '2016-07-29'
      formula: >-
        income_mixing_exception_applies

        or assisted_dwelling_units <= max(project_income_mixing_dwelling_unit_count_limit,
        project_income_mixing_dwelling_unit_rate_limit * project_dwelling_units)