loading…

Definitions

For purposes of this subsection, the following definitions shall apply:

(A) Adult The term “adult” means a person who is 18 years of age or older, or who has been convicted of a crime as an adult under any Federal, State, or tribal law.

(B) Covered housing assistance The term “covered housing assistance” means— (i) a dwelling unit in public housing; (ii) a dwelling unit in housing that is provided project-based assistance under section 1437f of this title , including new construction and substantial rehabilitation projects; and (iii) tenant-based assistance under section 1437f of this title .

(C) Owner The term “owner” means, with respect to covered housing assistance described in subparagraph (B)(ii), the entity or private person (including a cooperative or public housing agency) that has the legal right to lease or sublease dwelling units in the housing assisted.

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437d.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

lease_term_months

Parameter

source: 42 USC 1437d(l)

- name: lease_term_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437d(l)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437d
            excerpt: have a term of 12 months
  versions:
    - effective_from: '1998-10-21'
      formula: '12'

lease_nonpayment_rent_notice_days

Parameter

source: 42 USC 1437d(l)

- name: lease_nonpayment_rent_notice_days
  kind: parameter
  dtype: Count
  source: 42 USC 1437d(l)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437d
            excerpt: 14 days in the case of nonpayment of rent
  versions:
    - effective_from: '1998-10-21'
      formula: '14'

lease_other_case_notice_days

Parameter

source: 42 USC 1437d(l)

- name: lease_other_case_notice_days
  kind: parameter
  dtype: Count
  source: 42 USC 1437d(l)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437d
            excerpt: 30 days in any other case
  versions:
    - effective_from: '1998-10-21'
      formula: '30'

public_housing_lease_has_required_term

Derived

source: 42 USC 1437d(l)

- name: public_housing_lease_has_required_term
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437d(l)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437d
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        lease_term_in_months == lease_term_months
        and lease_automatically_renews_except_community_service_noncompliance

lease_nonpayment_rent_notice_satisfies_minimum

Derived

source: 42 USC 1437d(l)

- name: lease_nonpayment_rent_notice_satisfies_minimum
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437d(l)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437d
  versions:
    - effective_from: '1998-10-21'
      formula: lease_nonpayment_rent_notice_days_provided >= lease_nonpayment_rent_notice_days

adult_criminal_record_request_authorized

Derived

source: 42 USC 1437d(q)

- name: adult_criminal_record_request_authorized
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437d(q)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437d
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        information_request_is_for_criminal_conviction_records
        and record_subject_is_adult_applicant_or_tenant_of_covered_housing_assistance
        and request_purpose_is_applicant_screening_lease_enforcement_or_eviction
        and not requested_record_is_juvenile_conviction_not_authorized_for_release_by_applicable_law

criminal_record_adverse_action_process_satisfied

Derived

source: 42 USC 1437d(q)

- name: criminal_record_adverse_action_process_satisfied
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437d(q)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437d
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        tenant_or_applicant_received_copy_of_criminal_record_before_adverse_action

        and
        tenant_or_applicant_had_opportunity_to_dispute_accuracy_and_relevance_before_adverse_action

site_based_waiting_list_procedure_authorized

Derived

source: 42 USC 1437d(r)

- name: site_based_waiting_list_procedure_authorized
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437d(r)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437d
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        waiting_list_procedure_is_for_admissions_to_public_housing_projects
        and procedure_complies_with_title_vi_fair_housing_act_and_other_applicable_civil_rights_laws
        and public_housing_agency_fully_discloses_project_selection_options_to_each_applicant

▸citations (2)

References

This rule cites 2 other rules.

42 USC § 1437finferredUS Federal › Statutes › Title 42 › § 1437f
42 USC § 1437finferredUS Federal › Statutes › Title 42 › § 1437f

loading…

us/statute/42/1437d/q/8 — Definitions · Axiom

Definitions

Official source

For purposes of this subsection, the following definitions shall apply:

(A) Adult The term “adult” means a person who is 18 years of age or older, or who has been convicted of a crime as an adult under any Federal, State, or tribal law.

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437d.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

lease_term_months

Parameter

source: 42 USC 1437d(l)

- name: lease_term_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437d(l)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437d
            excerpt: have a term of 12 months
  versions:
    - effective_from: '1998-10-21'
      formula: '12'

lease_nonpayment_rent_notice_days

Parameter

source: 42 USC 1437d(l)

- name: lease_nonpayment_rent_notice_days
  kind: parameter
  dtype: Count
  source: 42 USC 1437d(l)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437d
            excerpt: 14 days in the case of nonpayment of rent
  versions:
    - effective_from: '1998-10-21'
      formula: '14'

lease_other_case_notice_days

Parameter

source: 42 USC 1437d(l)

- name: lease_other_case_notice_days
  kind: parameter
  dtype: Count
  source: 42 USC 1437d(l)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437d
            excerpt: 30 days in any other case
  versions:
    - effective_from: '1998-10-21'
      formula: '30'

public_housing_lease_has_required_term

Derived

source: 42 USC 1437d(l)

- name: public_housing_lease_has_required_term
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437d(l)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437d
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        lease_term_in_months == lease_term_months
        and lease_automatically_renews_except_community_service_noncompliance

lease_nonpayment_rent_notice_satisfies_minimum

Derived

source: 42 USC 1437d(l)

- name: lease_nonpayment_rent_notice_satisfies_minimum
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437d(l)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437d
  versions:
    - effective_from: '1998-10-21'
      formula: lease_nonpayment_rent_notice_days_provided >= lease_nonpayment_rent_notice_days

adult_criminal_record_request_authorized

Derived

source: 42 USC 1437d(q)

- name: adult_criminal_record_request_authorized
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437d(q)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437d
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        information_request_is_for_criminal_conviction_records
        and record_subject_is_adult_applicant_or_tenant_of_covered_housing_assistance
        and request_purpose_is_applicant_screening_lease_enforcement_or_eviction
        and not requested_record_is_juvenile_conviction_not_authorized_for_release_by_applicable_law

criminal_record_adverse_action_process_satisfied

Derived

source: 42 USC 1437d(q)

- name: criminal_record_adverse_action_process_satisfied
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437d(q)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437d
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        tenant_or_applicant_received_copy_of_criminal_record_before_adverse_action

        and
        tenant_or_applicant_had_opportunity_to_dispute_accuracy_and_relevance_before_adverse_action

site_based_waiting_list_procedure_authorized

Derived

source: 42 USC 1437d(r)

- name: site_based_waiting_list_procedure_authorized
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437d(r)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437d
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        waiting_list_procedure_is_for_admissions_to_public_housing_projects
        and procedure_complies_with_title_vi_fair_housing_act_and_other_applicable_civil_rights_laws
        and public_housing_agency_fully_discloses_project_selection_options_to_each_applicant

▸citations (2)

References

This rule cites 2 other rules.

42 USC § 1437finferredUS Federal › Statutes › Title 42 › § 1437f
42 USC § 1437finferredUS Federal › Statutes › Title 42 › § 1437f