us/statute/12/1707/g

loading…

1 rule

The term “real estate” means land and all natural resources and structures permanently affixed to the land, including residential buildings and stationary manufactured housing. The Secretary may not require, for treatment of any land or other property as real estate for purposes of this subchapter, that such land or property be treated as real estate for purposes of State taxation.

in view

Whole section

Encodings · 1

real_estate12 USC § 1707 (g) · derived

12 USC 1707(g)

name: real_estate
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: 12 USC 1707(g)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/12/1707
versions:
  - effective_from: '0001-01-01'
    formula: |-
      asset_is_land
      or asset_is_natural_resource_permanently_affixed_to_land
      or asset_is_structure_permanently_affixed_to_land
      or asset_is_residential_building_permanently_affixed_to_land
      or asset_is_stationary_manufactured_housing_permanently_affixed_to_land

open in graph ↗

▸rulespec code

Shown source

statutes/12/1707.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

renewable_lease_minimum_years

Parameter

source: 12 USC 1707(a)

- name: renewable_lease_minimum_years
  kind: parameter
  dtype: Count
  source: 12 USC 1707(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1707
            excerpt: under a lease for not less than ninety-nine years which is renewable
  versions:
    - effective_from: '0001-01-01'
      formula: '99'

lease_years_beyond_maturity_minimum

Parameter

source: 12 USC 1707(a)

- name: lease_years_beyond_maturity_minimum
  kind: parameter
  dtype: Count
  source: 12 USC 1707(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1707
            excerpt: >-
              under a lease having a period of not less than ten years to run beyond the maturity
              date
  versions:
    - effective_from: '0001-01-01'
      formula: '10'

first_mortgage

Derived

source: 12 USC 1707(a)

- name: first_mortgage
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 12 USC 1707(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        lien_class_commonly_secures_real_estate_advances_under_state_law
        or lien_class_commonly_secures_unpaid_real_estate_purchase_price_under_state_law

real_estate

Derived

source: 12 USC 1707(g)

- name: real_estate
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 12 USC 1707(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        asset_is_land
        or asset_is_natural_resource_permanently_affixed_to_land
        or asset_is_structure_permanently_affixed_to_land
        or asset_is_residential_building_permanently_affixed_to_land
        or asset_is_stationary_manufactured_housing_permanently_affixed_to_land

mortgage

Derived

source: 12 USC 1707(a)

- name: mortgage
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 12 USC 1707(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/12/1707#first_mortgage
            output: first_mortgage
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/12/1707#real_estate
            output: real_estate
            hash: sha256:local
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        first_mortgage
        and (
          (real_estate and mortgage_is_on_fee_simple_interest)
          or (
            mortgage_is_on_leasehold_on_real_estate
            and (
              (lease_years >= renewable_lease_minimum_years and lease_is_renewable)
              or lease_years_to_run_beyond_maturity_date >= lease_years_beyond_maturity_minimum
            )
          )
          or (
            mortgage_secures_unpaid_purchase_price_of_fee_or_long_term_leasehold_interest
            and property_consists_of_one_family_unit_in_multifamily_project
            and mortgage_includes_undivided_interest_in_common_areas_and_facilities_serving_project
          )
        )

child

Derived

source: 12 USC 1707(f)

- name: child
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 12 USC 1707(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        person_is_mortgagor_son
        or person_is_mortgagor_stepson
        or person_is_mortgagor_daughter
        or person_is_mortgagor_stepdaughter

child_treated_as_child_by_blood

Derived

source: 12 USC 1707(e)

- name: child_treated_as_child_by_blood
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 12 USC 1707(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        person_is_legally_adopted_son_or_daughter_of_individual
        or person_is_household_child_placed_by_authorized_agency_for_legal_adoption_by_individual
        or person_is_foster_child_of_individual

family_member

Derived

source: 12 USC 1707(e)

- name: family_member
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 12 USC 1707(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/12/1707#child
            output: child
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/12/1707#child_treated_as_child_by_blood
            output: child_treated_as_child_by_blood
            hash: sha256:local
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        child
        or child_treated_as_child_by_blood
        or person_is_parent_of_mortgagor
        or person_is_grandparent_of_mortgagor
        or person_is_child_of_mortgagor_spouse
        or person_is_parent_of_mortgagor_spouse
        or person_is_grandparent_of_mortgagor_spouse

loading…

us/statute/12/1707/g · Axiom

1 rule

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 1

real_estate12 USC § 1707 (g) · derived

12 USC 1707(g)

name: real_estate
kind: derived
entity: Asset
dtype: Judgment
period: Year
source: 12 USC 1707(g)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us/statute/12/1707
versions:
  - effective_from: '0001-01-01'
    formula: |-
      asset_is_land
      or asset_is_natural_resource_permanently_affixed_to_land
      or asset_is_structure_permanently_affixed_to_land
      or asset_is_residential_building_permanently_affixed_to_land
      or asset_is_stationary_manufactured_housing_permanently_affixed_to_land

open in graph ↗

▸rulespec code

Shown source

statutes/12/1707.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

renewable_lease_minimum_years

Parameter

source: 12 USC 1707(a)

- name: renewable_lease_minimum_years
  kind: parameter
  dtype: Count
  source: 12 USC 1707(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1707
            excerpt: under a lease for not less than ninety-nine years which is renewable
  versions:
    - effective_from: '0001-01-01'
      formula: '99'

lease_years_beyond_maturity_minimum

Parameter

source: 12 USC 1707(a)

- name: lease_years_beyond_maturity_minimum
  kind: parameter
  dtype: Count
  source: 12 USC 1707(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/12/1707
            excerpt: >-
              under a lease having a period of not less than ten years to run beyond the maturity
              date
  versions:
    - effective_from: '0001-01-01'
      formula: '10'

first_mortgage

Derived

source: 12 USC 1707(a)

- name: first_mortgage
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 12 USC 1707(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        lien_class_commonly_secures_real_estate_advances_under_state_law
        or lien_class_commonly_secures_unpaid_real_estate_purchase_price_under_state_law

real_estate

Derived

source: 12 USC 1707(g)

- name: real_estate
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 12 USC 1707(g)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        asset_is_land
        or asset_is_natural_resource_permanently_affixed_to_land
        or asset_is_structure_permanently_affixed_to_land
        or asset_is_residential_building_permanently_affixed_to_land
        or asset_is_stationary_manufactured_housing_permanently_affixed_to_land

mortgage

Derived

source: 12 USC 1707(a)

- name: mortgage
  kind: derived
  entity: Asset
  dtype: Judgment
  period: Year
  source: 12 USC 1707(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/12/1707#first_mortgage
            output: first_mortgage
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/12/1707#real_estate
            output: real_estate
            hash: sha256:local
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        first_mortgage
        and (
          (real_estate and mortgage_is_on_fee_simple_interest)
          or (
            mortgage_is_on_leasehold_on_real_estate
            and (
              (lease_years >= renewable_lease_minimum_years and lease_is_renewable)
              or lease_years_to_run_beyond_maturity_date >= lease_years_beyond_maturity_minimum
            )
          )
          or (
            mortgage_secures_unpaid_purchase_price_of_fee_or_long_term_leasehold_interest
            and property_consists_of_one_family_unit_in_multifamily_project
            and mortgage_includes_undivided_interest_in_common_areas_and_facilities_serving_project
          )
        )

child

Derived

source: 12 USC 1707(f)

- name: child
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 12 USC 1707(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        person_is_mortgagor_son
        or person_is_mortgagor_stepson
        or person_is_mortgagor_daughter
        or person_is_mortgagor_stepdaughter

child_treated_as_child_by_blood

Derived

source: 12 USC 1707(e)

- name: child_treated_as_child_by_blood
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 12 USC 1707(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        person_is_legally_adopted_son_or_daughter_of_individual
        or person_is_household_child_placed_by_authorized_agency_for_legal_adoption_by_individual
        or person_is_foster_child_of_individual

family_member

Derived

source: 12 USC 1707(e)

- name: family_member
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 12 USC 1707(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us/statute/12/1707
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/12/1707#child
            output: child
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/12/1707#child_treated_as_child_by_blood
            output: child_treated_as_child_by_blood
            hash: sha256:local
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        child
        or child_treated_as_child_by_blood
        or person_is_parent_of_mortgagor
        or person_is_grandparent_of_mortgagor
        or person_is_child_of_mortgagor_spouse
        or person_is_parent_of_mortgagor_spouse
        or person_is_grandparent_of_mortgagor_spouse