Axiom Foundation

loading…

us/statute/42/1437d/l — Leases; terms and conditions; maintenance; termination · Axiom

in view

Whole section

Encodings · 5

lease_term_months42 USC § 1437d (l) · parameter

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'

open in graph ↗

lease_nonpayment_rent_notice_days42 USC § 1437d (l) · parameter

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'

open in graph ↗

lease_other_case_notice_days42 USC § 1437d (l) · parameter

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'

open in graph ↗

public_housing_lease_has_required_term42 USC § 1437d (l) · derived

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

open in graph ↗

lease_nonpayment_rent_notice_satisfies_minimum42 USC § 1437d (l) · derived

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

open in graph ↗

▸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 (3)

References

This rule cites 3 other rules.

42 USC § 1437j (c)inferredUS Federal › Statutes › Title 42 › § 1437j › (c)
42 USC § 13661 (b)inferredUS Federal › Statutes › Title 42 › § 13661 › (b)
42 USC § 13662inferredUS Federal › Statutes › Title 42 › § 13662

Leases; terms and conditions; maintenance; termination

Leases; terms and conditions; maintenance; termination

(1)#

(2)#

(3)#

(4)#

(5)#

(6)#

(7)#

(9)#

lease_term_months

lease_nonpayment_rent_notice_days

lease_other_case_notice_days

public_housing_lease_has_required_term

lease_nonpayment_rent_notice_satisfies_minimum

adult_criminal_record_request_authorized

criminal_record_adverse_action_process_satisfied

site_based_waiting_list_procedure_authorized