loading…

us/statute/12/1701s/i — Omitted · Axiom

Omitted

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/12/1701s.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/12/1701s; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

contract_payment_maximum_term_years

Parameter

source: 12 USC 1701s(a)

- name: contract_payment_maximum_term_years
  kind: parameter
  dtype: Count
  source: 12 USC 1701s(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: a period exceeding forty years
  versions:
    - effective_from: '0001-01-01'
      formula: '40'

pre_july_1969_annual_payment_cap

Parameter

source: 12 USC 1701s(a)

- name: pre_july_1969_annual_payment_cap
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 12 USC 1701s(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: $150,000,000 per annum prior to July 1, 1969
  versions:
    - effective_from: '0001-01-01'
      formula: '150000000'

first_annual_payment_cap_increase

Parameter

source: 12 USC 1701s(a)

- name: first_annual_payment_cap_increase
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 12 USC 1701s(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: increased by $40,000,000, on July 1, 1969
  versions:
    - effective_from: '1969-07-01'
      formula: '40000000'

second_annual_payment_cap_increase

Parameter

source: 12 USC 1701s(a)

- name: second_annual_payment_cap_increase
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 12 USC 1701s(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: by $100,000,000 on July 1, 1970
  versions:
    - effective_from: '1970-07-01'
      formula: '100000000'

third_annual_payment_cap_increase

Parameter

source: 12 USC 1701s(a)

- name: third_annual_payment_cap_increase
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 12 USC 1701s(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: by $40,000,000 on July 1, 1971
  versions:
    - effective_from: '1971-07-01'
      formula: '40000000'

no_kitchen_facilities_contract_share_cap

Parameter

source: 12 USC 1701s(b)

- name: no_kitchen_facilities_contract_share_cap
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: not more than 10 per centum in the aggregate
  versions:
    - effective_from: '0001-01-01'
      formula: '0.10'

fair_market_rent_payment_percentage

Parameter

source: 12 USC 1701s(d)

- name: fair_market_rent_payment_percentage
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: 70 per centum of the fair market rent
  versions:
    - effective_from: '0001-01-01'
      formula: '0.70'

adjusted_income_rent_contribution_percentage

Parameter

source: 12 USC 1701s(d)

- name: adjusted_income_rent_contribution_percentage
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: 30 per centum of the tenant's adjusted income
  versions:
    - effective_from: '0001-01-01'
      formula: '0.30'

annual_income_recertification_minimum_frequency_years

Parameter

source: 12 USC 1701s(e)

- name: annual_income_recertification_minimum_frequency_years
  kind: parameter
  dtype: Count
  source: 12 USC 1701s(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: no less frequently than annually
  versions:
    - effective_from: '0001-01-01'
      formula: '1'

contract_amendment_rent_increase_coverage_rate

Parameter

source: 12 USC 1701s(g)

- name: contract_amendment_rent_increase_coverage_rate
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: cover 100 percent of the necessary rent increases
  versions:
    - effective_from: '0001-01-01'
      formula: '1.00'

loan_property_unit_payment_cap

Parameter

source: 12 USC 1701s(j)

- name: loan_property_unit_payment_cap
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: not be made with respect to more than 20 per centum of the dwelling units
  versions:
    - effective_from: '0001-01-01'
      formula: '0.20'

section_236_property_unit_payment_increased_cap

Parameter

source: 12 USC 1701s(j)

- name: section_236_property_unit_payment_increased_cap
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: increased to 40 per centum of the dwelling units
  versions:
    - effective_from: '0001-01-01'
      formula: '0.40'

paragraph_1_a_property_appropriation_payment_cap

Parameter

source: 12 USC 1701s(j)

- name: paragraph_1_a_property_appropriation_payment_cap
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: not more than 5 per centum in the aggregate
  versions:
    - effective_from: '0001-01-01'
      formula: '0.05'

paragraph_1_b_and_1_c_property_appropriation_payment_cap

Parameter

source: 12 USC 1701s(j)

- name: paragraph_1_b_and_1_c_property_appropriation_payment_cap
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: not more than 5 per centum in the aggregate
  versions:
    - effective_from: '0001-01-01'
      formula: '0.05'

mortgagee_application_payment_deadline_days

Parameter

source: 12 USC 1701s(m)

- name: mortgagee_application_payment_deadline_days
  kind: parameter
  dtype: Count
  source: 12 USC 1701s(m)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: not later than 45 days after receipt of an application
  versions:
    - effective_from: '0001-01-01'
      formula: '45'

mortgagee_application_submission_window_days

Parameter

source: 12 USC 1701s(m)

- name: mortgagee_application_submission_window_days
  kind: parameter
  dtype: Count
  source: 12 USC 1701s(m)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: within 548 days after February 5, 1988
  versions:
    - effective_from: '1988-02-05'
      formula: '548'

rental_charge_within_fair_market_rental_limit

Derived

source: 12 USC 1701s(e)

- name: rental_charge_within_fair_market_rental_limit
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 12 USC 1701s(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: >-
              in no event shall rental charges adjusted under this section for any dwelling exceed
              the fair market rental
  versions:
    - effective_from: '0001-01-01'
      formula: adjusted_rental_charge <= fair_market_rental

property_operation_costs_do_not_bar_payments

Derived

source: 12 USC 1701s(e)

- name: property_operation_costs_do_not_bar_payments
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 12 USC 1701s(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: >-
              No payments under this section may be made with respect to any property for which the
              costs of operation ... are ... greater than similar costs
  versions:
    - effective_from: '0001-01-01'
      formula: not secretary_determines_property_operation_costs_are_greater_than_similar_housing_costs

loading…

Omitted

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/12/1701s.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/12/1701s; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

contract_payment_maximum_term_years

Parameter

source: 12 USC 1701s(a)

- name: contract_payment_maximum_term_years
  kind: parameter
  dtype: Count
  source: 12 USC 1701s(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: a period exceeding forty years
  versions:
    - effective_from: '0001-01-01'
      formula: '40'

pre_july_1969_annual_payment_cap

Parameter

source: 12 USC 1701s(a)

- name: pre_july_1969_annual_payment_cap
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 12 USC 1701s(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: $150,000,000 per annum prior to July 1, 1969
  versions:
    - effective_from: '0001-01-01'
      formula: '150000000'

first_annual_payment_cap_increase

Parameter

source: 12 USC 1701s(a)

- name: first_annual_payment_cap_increase
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 12 USC 1701s(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: increased by $40,000,000, on July 1, 1969
  versions:
    - effective_from: '1969-07-01'
      formula: '40000000'

second_annual_payment_cap_increase

Parameter

source: 12 USC 1701s(a)

- name: second_annual_payment_cap_increase
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 12 USC 1701s(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: by $100,000,000 on July 1, 1970
  versions:
    - effective_from: '1970-07-01'
      formula: '100000000'

third_annual_payment_cap_increase

Parameter

source: 12 USC 1701s(a)

- name: third_annual_payment_cap_increase
  kind: parameter
  dtype: Money
  unit: USD
  period: Year
  source: 12 USC 1701s(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: by $40,000,000 on July 1, 1971
  versions:
    - effective_from: '1971-07-01'
      formula: '40000000'

no_kitchen_facilities_contract_share_cap

Parameter

source: 12 USC 1701s(b)

- name: no_kitchen_facilities_contract_share_cap
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: not more than 10 per centum in the aggregate
  versions:
    - effective_from: '0001-01-01'
      formula: '0.10'

fair_market_rent_payment_percentage

Parameter

source: 12 USC 1701s(d)

- name: fair_market_rent_payment_percentage
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: 70 per centum of the fair market rent
  versions:
    - effective_from: '0001-01-01'
      formula: '0.70'

adjusted_income_rent_contribution_percentage

Parameter

source: 12 USC 1701s(d)

- name: adjusted_income_rent_contribution_percentage
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: 30 per centum of the tenant's adjusted income
  versions:
    - effective_from: '0001-01-01'
      formula: '0.30'

annual_income_recertification_minimum_frequency_years

Parameter

source: 12 USC 1701s(e)

- name: annual_income_recertification_minimum_frequency_years
  kind: parameter
  dtype: Count
  source: 12 USC 1701s(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: no less frequently than annually
  versions:
    - effective_from: '0001-01-01'
      formula: '1'

contract_amendment_rent_increase_coverage_rate

Parameter

source: 12 USC 1701s(g)

- name: contract_amendment_rent_increase_coverage_rate
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: cover 100 percent of the necessary rent increases
  versions:
    - effective_from: '0001-01-01'
      formula: '1.00'

loan_property_unit_payment_cap

Parameter

source: 12 USC 1701s(j)

- name: loan_property_unit_payment_cap
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: not be made with respect to more than 20 per centum of the dwelling units
  versions:
    - effective_from: '0001-01-01'
      formula: '0.20'

section_236_property_unit_payment_increased_cap

Parameter

source: 12 USC 1701s(j)

- name: section_236_property_unit_payment_increased_cap
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: increased to 40 per centum of the dwelling units
  versions:
    - effective_from: '0001-01-01'
      formula: '0.40'

paragraph_1_a_property_appropriation_payment_cap

Parameter

source: 12 USC 1701s(j)

- name: paragraph_1_a_property_appropriation_payment_cap
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: not more than 5 per centum in the aggregate
  versions:
    - effective_from: '0001-01-01'
      formula: '0.05'

paragraph_1_b_and_1_c_property_appropriation_payment_cap

Parameter

source: 12 USC 1701s(j)

- name: paragraph_1_b_and_1_c_property_appropriation_payment_cap
  kind: parameter
  dtype: Rate
  source: 12 USC 1701s(j)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: not more than 5 per centum in the aggregate
  versions:
    - effective_from: '0001-01-01'
      formula: '0.05'

mortgagee_application_payment_deadline_days

Parameter

source: 12 USC 1701s(m)

- name: mortgagee_application_payment_deadline_days
  kind: parameter
  dtype: Count
  source: 12 USC 1701s(m)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: not later than 45 days after receipt of an application
  versions:
    - effective_from: '0001-01-01'
      formula: '45'

mortgagee_application_submission_window_days

Parameter

source: 12 USC 1701s(m)

- name: mortgagee_application_submission_window_days
  kind: parameter
  dtype: Count
  source: 12 USC 1701s(m)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: within 548 days after February 5, 1988
  versions:
    - effective_from: '1988-02-05'
      formula: '548'

rental_charge_within_fair_market_rental_limit

Derived

source: 12 USC 1701s(e)

- name: rental_charge_within_fair_market_rental_limit
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 12 USC 1701s(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: >-
              in no event shall rental charges adjusted under this section for any dwelling exceed
              the fair market rental
  versions:
    - effective_from: '0001-01-01'
      formula: adjusted_rental_charge <= fair_market_rental

property_operation_costs_do_not_bar_payments

Derived

source: 12 USC 1701s(e)

- name: property_operation_costs_do_not_bar_payments
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 12 USC 1701s(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/12/1701s
            excerpt: >-
              No payments under this section may be made with respect to any property for which the
              costs of operation ... are ... greater than similar costs
  versions:
    - effective_from: '0001-01-01'
      formula: not secretary_determines_property_operation_costs_are_greater_than_similar_housing_costs