us/statute/42/1471/b/2

loading…

For the purposes of this subchapter, the terms “owner” and “mortgage” shall be deemed to include, respectively, the lessee of, and other security interest in, any leasehold interest which the Secretary determines has an unexpired term (A) in the case of a loan, for a period sufficiently beyond the repayment period of the loan to provide adequate security and a reasonable probability of accomplishing the objectives for which the loan is made, and (B) in the case of a grant for a period sufficient to accomplish the objectives for which the grant is made.

in view

Whole section

▸rulespec code

Shown source

statutes/42/1471.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

farm_gross_annual_value_equivalent_1944_minimum

Parameter

source: 42 USC 1471(b)

- name: farm_gross_annual_value_equivalent_1944_minimum
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1471(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1471
            excerpt: >-
              gross annual value of not less than the equivalent of a gross annual value of $400 in
              1944
  versions:
    - effective_from: '1961-01-01'
      formula: '400'

farm

Derived

source: 42 USC 1471(b)

- name: farm
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 1471(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1471
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1471
            excerpt: >-
              gross annual value of not less than the equivalent of a gross annual value of $400 in
              1944
  versions:
    - effective_from: '1961-01-01'
      formula: |-
        land_operated_as_single_unit
        and land_used_for_production_of_one_or_more_agricultural_commodities
        and land_customarily_produces_or_is_capable_of_producing_commodities_for_sale_and_home_use
        and gross_annual_value_equivalent_1944 >= farm_gross_annual_value_equivalent_1944_minimum

adequate_dwelling

Derived

source: 42 USC 1471(b)

- name: adequate_dwelling
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 1471(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1471
            excerpt: the term “adequate dwelling” means a decent, safe, and sanitary dwelling unit
  versions:
    - effective_from: '1961-01-01'
      formula: |-
        dwelling_unit_is_decent
        and dwelling_unit_is_safe
        and dwelling_unit_is_sanitary

applicant_meets_resource_and_credit_conditions

Derived

source: 42 USC 1471(c)

- name: applicant_meets_resource_and_credit_conditions
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1471(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1471
  versions:
    - effective_from: '1961-01-01'
      formula: >-
        applicant_is_without_sufficient_resources_to_provide_necessary_housing_and_buildings

        and
        applicant_is_unable_to_secure_necessary_credit_from_other_sources_on_reasonably_fulfillable_terms

applicant_has_eligible_housing_or_refinancing_need

Derived

source: 42 USC 1471(c)

- name: applicant_has_eligible_housing_or_refinancing_need
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1471(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1471
  versions:
    - effective_from: '1961-01-01'
      formula: >-
        applicant_is_owner_of_farm_without_required_decent_safe_sanitary_dwelling_or_adequate_farm_buildings

        or
        applicant_is_owner_of_other_rural_real_estate_or_rural_resident_without_adequate_dwelling_related_facilities_or_adequate_farm_operation_buildings

        or
        applicant_is_elderly_or_handicapped_person_or_family_in_rural_area_without_adequate_dwelling_or_related_facility

        or
        applicant_is_owner_of_farm_or_other_rural_real_estate_needing_refinancing_of_indebtedness_described_in_subsection_a_clause_4

applicant_assistance_eligible

Derived

source: 42 USC 1471(c)

- name: applicant_assistance_eligible
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1471(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1471
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1471#applicant_has_eligible_housing_or_refinancing_need
            output: applicant_has_eligible_housing_or_refinancing_need
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1471#applicant_meets_resource_and_credit_conditions
            output: applicant_meets_resource_and_credit_conditions
            hash: sha256:local
  versions:
    - effective_from: '1961-01-01'
      formula: |-
        applicant_has_eligible_housing_or_refinancing_need
        and applicant_meets_resource_and_credit_conditions

loading…

us/statute/42/1471/b/2 · Axiom

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/42/1471.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

farm_gross_annual_value_equivalent_1944_minimum

Parameter

source: 42 USC 1471(b)

- name: farm_gross_annual_value_equivalent_1944_minimum
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1471(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1471
            excerpt: >-
              gross annual value of not less than the equivalent of a gross annual value of $400 in
              1944
  versions:
    - effective_from: '1961-01-01'
      formula: '400'

farm

Derived

source: 42 USC 1471(b)

- name: farm
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 1471(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1471
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1471
            excerpt: >-
              gross annual value of not less than the equivalent of a gross annual value of $400 in
              1944
  versions:
    - effective_from: '1961-01-01'
      formula: |-
        land_operated_as_single_unit
        and land_used_for_production_of_one_or_more_agricultural_commodities
        and land_customarily_produces_or_is_capable_of_producing_commodities_for_sale_and_home_use
        and gross_annual_value_equivalent_1944 >= farm_gross_annual_value_equivalent_1944_minimum

adequate_dwelling

Derived

source: 42 USC 1471(b)

- name: adequate_dwelling
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 1471(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/42/1471
            excerpt: the term “adequate dwelling” means a decent, safe, and sanitary dwelling unit
  versions:
    - effective_from: '1961-01-01'
      formula: |-
        dwelling_unit_is_decent
        and dwelling_unit_is_safe
        and dwelling_unit_is_sanitary

applicant_meets_resource_and_credit_conditions

Derived

source: 42 USC 1471(c)

- name: applicant_meets_resource_and_credit_conditions
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1471(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1471
  versions:
    - effective_from: '1961-01-01'
      formula: >-
        applicant_is_without_sufficient_resources_to_provide_necessary_housing_and_buildings

        and
        applicant_is_unable_to_secure_necessary_credit_from_other_sources_on_reasonably_fulfillable_terms

applicant_has_eligible_housing_or_refinancing_need

Derived

source: 42 USC 1471(c)

- name: applicant_has_eligible_housing_or_refinancing_need
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1471(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1471
  versions:
    - effective_from: '1961-01-01'
      formula: >-
        applicant_is_owner_of_farm_without_required_decent_safe_sanitary_dwelling_or_adequate_farm_buildings

        or
        applicant_is_owner_of_other_rural_real_estate_or_rural_resident_without_adequate_dwelling_related_facilities_or_adequate_farm_operation_buildings

        or
        applicant_is_elderly_or_handicapped_person_or_family_in_rural_area_without_adequate_dwelling_or_related_facility

        or
        applicant_is_owner_of_farm_or_other_rural_real_estate_needing_refinancing_of_indebtedness_described_in_subsection_a_clause_4

applicant_assistance_eligible

Derived

source: 42 USC 1471(c)

- name: applicant_assistance_eligible
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1471(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1471
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1471#applicant_has_eligible_housing_or_refinancing_need
            output: applicant_has_eligible_housing_or_refinancing_need
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1471#applicant_meets_resource_and_credit_conditions
            output: applicant_meets_resource_and_credit_conditions
            hash: sha256:local
  versions:
    - effective_from: '1961-01-01'
      formula: |-
        applicant_has_eligible_housing_or_refinancing_need
        and applicant_meets_resource_and_credit_conditions