loading…

Availability

2 rules

The Secretary shall take such actions as are necessary to ensure that any repayments deposited in a HOME Investment Trust Fund in accordance with this section shall be immediately available to the participating jurisdiction for investment subject to the provisions of this part that apply to funds that are allocated under section 12747 of this title . Actions authorized under the preceding sentence may include authorizing the establishment for a participating jurisdiction of a HOME Investment Trust Fund account outside of the Federal Government that, under arrangements satisfactory to the Secretary, shall be used solely to invest in affordable housing within the participating jurisdiction’s boundaries in accordance with the provisions of this subchapter. Such accounts shall be established in such a manner that repayments are not receipts or collections of the Federal Government.

in view

Whole section

Encodings · 2

deposited_repayments_immediately_available_for_part_investment42 USC § 12749 (c) · derived

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

open in graph ↗

outside_federal_government_account_authorized_for_affordable_housing_investment42 USC § 12749 (c) · derived

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

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 § 12747inferredUS Federal › Statutes › Title 42 › § 12747

loading…

us/statute/42/12749/c — Availability · Axiom

Availability

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

deposited_repayments_immediately_available_for_part_investment42 USC § 12749 (c) · derived

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

open in graph ↗

outside_federal_government_account_authorized_for_affordable_housing_investment42 USC § 12749 (c) · derived

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

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 § 12747inferredUS Federal › Statutes › Title 42 › § 12747