us/statute/42/1437d/l/2

loading…

Official source

do not contain unreasonable terms and conditions;

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

loading…

us/statute/42/1437d/l/2 · Axiom

Official source

do not contain unreasonable terms and conditions;

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