loading…

Notice

Any system described in paragraph (1) shall provide for the full disclosure by the public housing agency to each applicant of any option available to the applicant in the selection of the project in which to reside.

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/r/2 — Notice · Axiom

Notice

Official source

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