us/statute/42/1437d/g/2

loading…

the Secretary shall be obligated to reconvey or redeliver possession of the project as constituted at the time of reconveyance or redelivery, to such public housing agency or to its successor (if such public housing agency or a successor exists) upon such terms as shall be prescribed in such contract, and as soon as practicable (i) after the Secretary is satisfied that all defaults with respect to the project have been cured, and that the project will, in order to fulfill the purposes of this chapter, thereafter be operated in accordance with the terms of such contract; or (ii) after the termination of the obligation to make annual contributions available unless there are any obligations or covenants of the public housing agency to the Secretary which are then in default. Any prior conveyances and reconveyances or deliveries and redeliveries of possession shall not exhaust the right to require a conveyance or delivery of possession of the project to the Secretary pursuant to subparagraph (1) upon the subsequent occurrence of a substantial default.

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/g/2 · Axiom

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