loading…

Location in rural areas; inclusion of qualified nonrural residents who will become rural residents

2 rules

Housing and related facilities provided with loans described in subsection (a) shall be located in rural areas; and applicants eligible for such loans under section 1472, 1487(a)(1), 1 or 1490f(a) of this title, or for occupancy of housing provided with such loans under section 1485 or 1490f(c) of this title, shall include otherwise qualified nonrural residents who will become rural residents.

in view

Whole section

Encodings · 2

subsection_a_loan_housing_location_requirement_satisfied42 USC § 1490a (b) · derived

42 USC 1490a(b)

name: subsection_a_loan_housing_location_requirement_satisfied
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: 42 USC 1490a(b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1490a/b
          excerpt: >-
            Housing and related facilities provided with loans described in
            subsection (a) shall be located in rural areas
versions:
  - effective_from: '0001-01-01'
    formula: >-
      not
      housing_or_related_facilities_provided_with_loans_described_in_subsection_a

      or housing_or_related_facilities_located_in_rural_areas

open in graph ↗

nonrural_resident_included_in_eligible_applicant_or_occupant_class42 USC § 1490a (b) · derived

42 USC 1490a(b)

name: nonrural_resident_included_in_eligible_applicant_or_occupant_class
kind: derived
entity: Person
dtype: Judgment
period: Year
source: 42 USC 1490a(b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us/statute/42/1490a/b
          excerpt: >-
            shall include otherwise qualified nonrural residents who will become
            rural residents
versions:
  - effective_from: '0001-01-01'
    formula: >-
      person_is_otherwise_qualified_nonrural_resident_who_will_become_rural_resident

      and
      person_is_applicant_or_occupancy_candidate_for_source_listed_loan_or_housing

open in graph ↗

▸rulespec code

Shown source

statutes/42/1490a/b.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

subsection_a_loan_housing_location_requirement_satisfied

Derived

source: 42 USC 1490a(b)

- name: subsection_a_loan_housing_location_requirement_satisfied
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 1490a(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1490a/b
            excerpt: >-
              Housing and related facilities provided with loans described in subsection (a) shall
              be located in rural areas
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        not housing_or_related_facilities_provided_with_loans_described_in_subsection_a
        or housing_or_related_facilities_located_in_rural_areas

nonrural_resident_included_in_eligible_applicant_or_occupant_class

Derived

source: 42 USC 1490a(b)

- name: nonrural_resident_included_in_eligible_applicant_or_occupant_class
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1490a(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1490a/b
            excerpt: shall include otherwise qualified nonrural residents who will become rural residents
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        person_is_otherwise_qualified_nonrural_resident_who_will_become_rural_resident
        and person_is_applicant_or_occupancy_candidate_for_source_listed_loan_or_housing

▸citations (2)

References

This rule cites 2 other rules.

42 USC § 1472inferredUS Federal › Statutes › Title 42 › § 1472
42 USC § 1485inferredUS Federal › Statutes › Title 42 › § 1485

loading…

us/statute/42/1490a/b — Location in rural areas; inclusion of qualified nonrural residents who will become rural residents · Axiom

Location in rural areas; inclusion of qualified nonrural residents who will become rural residents

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

subsection_a_loan_housing_location_requirement_satisfied42 USC § 1490a (b) · derived

42 USC 1490a(b)

name: subsection_a_loan_housing_location_requirement_satisfied
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: 42 USC 1490a(b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/42/1490a/b
          excerpt: >-
            Housing and related facilities provided with loans described in
            subsection (a) shall be located in rural areas
versions:
  - effective_from: '0001-01-01'
    formula: >-
      not
      housing_or_related_facilities_provided_with_loans_described_in_subsection_a

      or housing_or_related_facilities_located_in_rural_areas

open in graph ↗

nonrural_resident_included_in_eligible_applicant_or_occupant_class42 USC § 1490a (b) · derived

42 USC 1490a(b)

name: nonrural_resident_included_in_eligible_applicant_or_occupant_class
kind: derived
entity: Person
dtype: Judgment
period: Year
source: 42 USC 1490a(b)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us/statute/42/1490a/b
          excerpt: >-
            shall include otherwise qualified nonrural residents who will become
            rural residents
versions:
  - effective_from: '0001-01-01'
    formula: >-
      person_is_otherwise_qualified_nonrural_resident_who_will_become_rural_resident

      and
      person_is_applicant_or_occupancy_candidate_for_source_listed_loan_or_housing

open in graph ↗

▸rulespec code

Shown source

statutes/42/1490a/b.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

subsection_a_loan_housing_location_requirement_satisfied

Derived

source: 42 USC 1490a(b)

- name: subsection_a_loan_housing_location_requirement_satisfied
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 42 USC 1490a(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1490a/b
            excerpt: >-
              Housing and related facilities provided with loans described in subsection (a) shall
              be located in rural areas
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        not housing_or_related_facilities_provided_with_loans_described_in_subsection_a
        or housing_or_related_facilities_located_in_rural_areas

nonrural_resident_included_in_eligible_applicant_or_occupant_class

Derived

source: 42 USC 1490a(b)

- name: nonrural_resident_included_in_eligible_applicant_or_occupant_class
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1490a(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1490a/b
            excerpt: shall include otherwise qualified nonrural residents who will become rural residents
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        person_is_otherwise_qualified_nonrural_resident_who_will_become_rural_resident
        and person_is_applicant_or_occupancy_candidate_for_source_listed_loan_or_housing

▸citations (2)

References

This rule cites 2 other rules.

42 USC § 1472inferredUS Federal › Statutes › Title 42 › § 1472
42 USC § 1485inferredUS Federal › Statutes › Title 42 › § 1485