loading…

us/statute/42/12749/a — In general · Axiom

In general

3 rules

Any repayment of funds drawn from a jurisdiction’s HOME Investment Trust Fund, and any payment of interest or other return on the investment of such funds, shall be deposited in such jurisdiction’s HOME Investment Trust Fund, except that, if the jurisdiction is not a participating jurisdiction when such payment or repayment is made, the amount of such payment or repayment shall be reallocated in accordance with section 12747(d) of this title .

in view

Whole section

Encodings · 3

trust_fund_repayment_deposited_in_jurisdiction_fund42 USC § 12749 (a) · derived

42 USC 12749(a)

name: trust_fund_repayment_deposited_in_jurisdiction_fund
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 42 USC 12749(a)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us/statute/42/12749
versions:
  - effective_from: '2024-01-01'
    formula: >-
      payment_is_repayment_of_funds_drawn_from_jurisdiction_home_investment_trust_fund

      and
      jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

open in graph ↗

investment_return_deposited_in_jurisdiction_fund42 USC § 12749 (a) · derived

42 USC 12749(a)

name: investment_return_deposited_in_jurisdiction_fund
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 42 USC 12749(a)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us/statute/42/12749
versions:
  - effective_from: '2024-01-01'
    formula: >-
      payment_is_interest_or_other_return_on_investment_of_such_funds

      and
      jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

open in graph ↗

payment_or_repayment_reallocated_under_section_12747_d42 USC § 12749 (a) · derived

42 USC 12749(a), (b)

name: payment_or_repayment_reallocated_under_section_12747_d
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 42 USC 12749(a), (b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/42/12749
          excerpt: >-
            if the jurisdiction is not a participating jurisdiction when such
            payment or repayment is made
versions:
  - effective_from: '2024-01-01'
    formula: >-
      (payment_is_repayment_of_funds_drawn_from_jurisdiction_home_investment_trust_fund

      or payment_is_interest_or_other_return_on_investment_of_such_funds

      or
      payment_is_repayment_of_affordable_housing_investment_when_housing_no_longer_qualifies)

      and not
      jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

open in graph ↗

▸rulespec code

Shown source

statutes/42/12749.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

trust_fund_repayment_deposited_in_jurisdiction_fund

Derived

source: 42 USC 12749(a)

- name: trust_fund_repayment_deposited_in_jurisdiction_fund
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 42 USC 12749(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        payment_is_repayment_of_funds_drawn_from_jurisdiction_home_investment_trust_fund
        and jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

investment_return_deposited_in_jurisdiction_fund

Derived

source: 42 USC 12749(a)

- name: investment_return_deposited_in_jurisdiction_fund
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 42 USC 12749(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        payment_is_interest_or_other_return_on_investment_of_such_funds
        and jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

payment_or_repayment_reallocated_under_section_12747_d

Derived

source: 42 USC 12749(a), (b)

- name: payment_or_repayment_reallocated_under_section_12747_d
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 42 USC 12749(a), (b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/12749
            excerpt: >-
              if the jurisdiction is not a participating jurisdiction when such payment or repayment
              is made
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        (payment_is_repayment_of_funds_drawn_from_jurisdiction_home_investment_trust_fund
        or payment_is_interest_or_other_return_on_investment_of_such_funds
        or payment_is_repayment_of_affordable_housing_investment_when_housing_no_longer_qualifies)
        and not jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

repayment_agreement_requirement_satisfied

Derived

source: 42 USC 12749(b)

- name: repayment_agreement_requirement_satisfied
  kind: derived
  entity: ParticipatingJurisdiction
  dtype: Judgment
  period: Year
  source: 42 USC 12749(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        not jurisdiction_is_participating_jurisdiction

        or
        jurisdiction_has_entered_agreement_with_secretary_ensuring_affordable_housing_investment_repayable_when_housing_no_longer_qualifies

affordable_housing_repayment_deposited_in_investing_jurisdiction_fund

Derived

source: 42 USC 12749(b)

- name: affordable_housing_repayment_deposited_in_investing_jurisdiction_fund
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 42 USC 12749(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        payment_is_repayment_of_affordable_housing_investment_when_housing_no_longer_qualifies
        and jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

deposited_repayments_immediately_available_for_part_investment

Derived

source: 42 USC 12749(c)

- name: deposited_repayments_immediately_available_for_part_investment
  kind: derived
  entity: ParticipatingJurisdiction
  dtype: Judgment
  period: Year
  source: 42 USC 12749(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        repayments_deposited_in_home_investment_trust_fund_in_accordance_with_this_section

        and
        secretary_has_taken_actions_necessary_to_ensure_repayments_are_immediately_available_for_investment_subject_to_this_part

outside_federal_government_account_authorized_for_affordable_housing_investment

Derived

source: 42 USC 12749(c)

- name: outside_federal_government_account_authorized_for_affordable_housing_investment
  kind: derived
  entity: ParticipatingJurisdiction
  dtype: Judgment
  period: Year
  source: 42 USC 12749(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        account_is_home_investment_trust_fund_account_outside_federal_government_for_participating_jurisdiction

        and arrangements_for_account_are_satisfactory_to_secretary

        and
        account_is_used_solely_to_invest_in_affordable_housing_within_participating_jurisdiction_boundaries_in_accordance_with_this_subchapter

        and account_established_so_repayments_are_not_receipts_or_collections_of_federal_government

▸citations (1)

References

This rule cites 1 other rule.

42 USC § 12747 (d)inferredUS Federal › Statutes › Title 42 › § 12747 › (d)

loading…

In general

3 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 3

trust_fund_repayment_deposited_in_jurisdiction_fund42 USC § 12749 (a) · derived

42 USC 12749(a)

name: trust_fund_repayment_deposited_in_jurisdiction_fund
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 42 USC 12749(a)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us/statute/42/12749
versions:
  - effective_from: '2024-01-01'
    formula: >-
      payment_is_repayment_of_funds_drawn_from_jurisdiction_home_investment_trust_fund

      and
      jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

open in graph ↗

investment_return_deposited_in_jurisdiction_fund42 USC § 12749 (a) · derived

42 USC 12749(a)

name: investment_return_deposited_in_jurisdiction_fund
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 42 USC 12749(a)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us/statute/42/12749
versions:
  - effective_from: '2024-01-01'
    formula: >-
      payment_is_interest_or_other_return_on_investment_of_such_funds

      and
      jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

open in graph ↗

payment_or_repayment_reallocated_under_section_12747_d42 USC § 12749 (a) · derived

42 USC 12749(a), (b)

name: payment_or_repayment_reallocated_under_section_12747_d
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 42 USC 12749(a), (b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us/statute/42/12749
          excerpt: >-
            if the jurisdiction is not a participating jurisdiction when such
            payment or repayment is made
versions:
  - effective_from: '2024-01-01'
    formula: >-
      (payment_is_repayment_of_funds_drawn_from_jurisdiction_home_investment_trust_fund

      or payment_is_interest_or_other_return_on_investment_of_such_funds

      or
      payment_is_repayment_of_affordable_housing_investment_when_housing_no_longer_qualifies)

      and not
      jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

open in graph ↗

▸rulespec code

Shown source

statutes/42/12749.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

trust_fund_repayment_deposited_in_jurisdiction_fund

Derived

source: 42 USC 12749(a)

- name: trust_fund_repayment_deposited_in_jurisdiction_fund
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 42 USC 12749(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        payment_is_repayment_of_funds_drawn_from_jurisdiction_home_investment_trust_fund
        and jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

investment_return_deposited_in_jurisdiction_fund

Derived

source: 42 USC 12749(a)

- name: investment_return_deposited_in_jurisdiction_fund
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 42 USC 12749(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        payment_is_interest_or_other_return_on_investment_of_such_funds
        and jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

payment_or_repayment_reallocated_under_section_12747_d

Derived

source: 42 USC 12749(a), (b)

- name: payment_or_repayment_reallocated_under_section_12747_d
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 42 USC 12749(a), (b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/42/12749
            excerpt: >-
              if the jurisdiction is not a participating jurisdiction when such payment or repayment
              is made
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        (payment_is_repayment_of_funds_drawn_from_jurisdiction_home_investment_trust_fund
        or payment_is_interest_or_other_return_on_investment_of_such_funds
        or payment_is_repayment_of_affordable_housing_investment_when_housing_no_longer_qualifies)
        and not jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

repayment_agreement_requirement_satisfied

Derived

source: 42 USC 12749(b)

- name: repayment_agreement_requirement_satisfied
  kind: derived
  entity: ParticipatingJurisdiction
  dtype: Judgment
  period: Year
  source: 42 USC 12749(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        not jurisdiction_is_participating_jurisdiction

        or
        jurisdiction_has_entered_agreement_with_secretary_ensuring_affordable_housing_investment_repayable_when_housing_no_longer_qualifies

affordable_housing_repayment_deposited_in_investing_jurisdiction_fund

Derived

source: 42 USC 12749(b)

- name: affordable_housing_repayment_deposited_in_investing_jurisdiction_fund
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 42 USC 12749(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        payment_is_repayment_of_affordable_housing_investment_when_housing_no_longer_qualifies
        and jurisdiction_is_participating_jurisdiction_when_payment_or_repayment_is_made

deposited_repayments_immediately_available_for_part_investment

Derived

source: 42 USC 12749(c)

- name: deposited_repayments_immediately_available_for_part_investment
  kind: derived
  entity: ParticipatingJurisdiction
  dtype: Judgment
  period: Year
  source: 42 USC 12749(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        repayments_deposited_in_home_investment_trust_fund_in_accordance_with_this_section

        and
        secretary_has_taken_actions_necessary_to_ensure_repayments_are_immediately_available_for_investment_subject_to_this_part

outside_federal_government_account_authorized_for_affordable_housing_investment

Derived

source: 42 USC 12749(c)

- name: outside_federal_government_account_authorized_for_affordable_housing_investment
  kind: derived
  entity: ParticipatingJurisdiction
  dtype: Judgment
  period: Year
  source: 42 USC 12749(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/12749
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        account_is_home_investment_trust_fund_account_outside_federal_government_for_participating_jurisdiction

        and arrangements_for_account_are_satisfactory_to_secretary

        and
        account_is_used_solely_to_invest_in_affordable_housing_within_participating_jurisdiction_boundaries_in_accordance_with_this_subchapter

        and account_established_so_repayments_are_not_receipts_or_collections_of_federal_government

▸citations (1)

References

This rule cites 1 other rule.

42 USC § 12747 (d)inferredUS Federal › Statutes › Title 42 › § 12747 › (d)