Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Part F has a supplier note.
Part E passed the visual check.

has_supplier_note::Part F
passed_visual_check::Part E

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_release_approval.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Positive facts:
- Part F has a supplier note.
- Part E passed the visual check.

Negative facts:
- None

Rules:
- None

Target atom: has_release_approval::Part E.
Target statement: Part E has release approval.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Positive facts:
- Service F passed unit tests.

Negative facts:
- None

Rules:
- None

Target atom: has_incident_note::Service F.
Target statement: Service F has an incident note.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_release_approval, may_ship.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Positive facts:
- Part B passed the visual check.

Negative facts:
- Part F does not has a supplier note.

Rules:
- None

Target atom: has_supplier_note::Part F.
Target statement: Part F has a supplier note.


Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_release_approval, may_ship.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Positive facts:
- Part D passed the visual check.

Negative facts:
- None

Rules:
- None

Target atom: has_supplier_note::Part D.
Target statement: Part D has a supplier note.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Positive facts:
- Part F passed the visual check.

Negative facts:
- Part D does not has a supplier note.

Rules:
- None

Target atom: has_supplier_note::Part D.
Target statement: Part D has a supplier note.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_advising_clearance: has advising clearance
- has_external_scholarship: has an external scholarship
- may_register: may register for the seminar
- needs_manual_audit: needs a manual audit
- passed_exam: passed the qualifying exam

Positive facts:
- Iris passed the qualifying exam.

Negative facts:
- None

Rules:
- None

Target atom: has_external_scholarship::Iris.
Target statement: Iris has an external scholarship.


Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Positive facts:
- Part A passed the visual check.

Negative facts:
- None

Rules:
- None

Target atom: has_supplier_note::Part A.
Target statement: Part A has a supplier note.


Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Elena has completed safety training.
Elena has security clearance.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Positive facts:
- Elena has completed safety training.
- Elena has security clearance.

Negative facts:
- None

Rules:
- None

Target atom: assigned_to_trial::Dylan.
Target statement: Dylan is assigned to the clinical trial.


Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Positive facts:
- Ben has completed safety training.

Negative facts:
- None

Rules:
- None

Target atom: assigned_to_trial::Ben.
Target statement: Ben is assigned to the clinical trial.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Positive facts:
- Account 12 passed KYC checks.

Negative facts:
- Account 59 does not has compliance clearance.

Rules:
- None

Target atom: has_compliance_clearance::Account 59.
Target statement: Account 59 has compliance clearance.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_borrowing_clearance, may_borrow_archive_item.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Positive facts:
- Reader A has an active membership.

Negative facts:
- None

Rules:
- None

Target atom: has_special_request::Reader A.
Target statement: Reader A has a special request.


Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Reader D has an active membership.
Reader D has borrowing clearance.

has_active_membership::Reader D
has_borrowing_clearance::Reader D

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_borrowing_clearance, may_borrow_archive_item.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Positive facts:
- Reader D has an active membership.
- Reader D has borrowing clearance.

Negative facts:
- None

Rules:
- None

Target atom: has_special_request::Reader C.
Target statement: Reader C has a special request.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Positive facts:
- Vendor D submitted a tax form.

Negative facts:
- Vendor B does not has a risk note.

Rules:
- None

Target atom: has_risk_note::Vendor B.
Target statement: Vendor B has a risk note.


Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Positive facts:
- Part F passed the visual check.

Negative facts:
- None

Rules:
- None

Target atom: has_release_approval::Part F.
Target statement: Part F has release approval.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Positive facts:
- Ava has completed safety training.

Negative facts:
- None

Rules:
- None

Target atom: has_clearance::Ava.
Target statement: Ava has security clearance.


Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Positive facts:
- Cora has completed safety training.

Negative facts:
- None

Rules:
- If a staff member is assigned to the clinical trial, then that staff member needs supervisor review.

Target atom: needs_supervisor_review::Cora.
Target statement: Cora needs supervisor review.


Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Positive facts:
- Ava has completed safety training.

Negative facts:
- None

Rules:
- If a staff member has security clearance and has completed safety training, then that staff member may enter Lab A.

Target atom: may_enter_lab::Ava.
Target statement: Ava may enter Lab A.


Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Positive facts:
- Service F passed unit tests.

Negative facts:
- Service D does not has an incident note.

Rules:
- None

Target atom: has_incident_note::Service D.
Target statement: Service D has an incident note.


Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Elena has completed safety training.
Elena has security clearance.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Positive facts:
- Elena has completed safety training.
- Elena has security clearance.

Negative facts:
- None

Rules:
- None

Target atom: assigned_to_trial::Dylan.
Target statement: Dylan is assigned to the clinical trial.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_deployment_approval.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Positive facts:
- Service A passed unit tests.

Negative facts:
- None

Rules:
- None

Target atom: has_deployment_approval::Service A.
Target statement: Service A has deployment approval.


Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_advising_clearance, may_register.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_advising_clearance: has advising clearance
- has_external_scholarship: has an external scholarship
- may_register: may register for the seminar
- needs_manual_audit: needs a manual audit
- passed_exam: passed the qualifying exam

Positive facts:
- Lena passed the qualifying exam.

Negative facts:
- None

Rules:
- If a student has an external scholarship, then that student needs a manual audit.

Target atom: needs_manual_audit::Lena.
Target statement: Lena needs a manual audit.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Reader A has an active membership.
Reader B has a special request.

has_active_membership::Reader A
has_special_request::Reader B

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Positive facts:
- Reader A has an active membership.
- Reader B has a special request.

Negative facts:
- None

Rules:
- None

Target atom: has_borrowing_clearance::Reader A.
Target statement: Reader A has borrowing clearance.


Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Positive facts:
- Farid has completed safety training.

Negative facts:
- Dylan does not has security clearance.

Rules:
- None

Target atom: has_clearance::Dylan.
Target statement: Dylan has security clearance.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Service E has deployment approval.
Service E passed unit tests.

has_deployment_approval::Service E
passed_unit_tests::Service E

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_deployment_approval, may_deploy.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Positive facts:
- Service E has deployment approval.
- Service E passed unit tests.

Negative facts:
- None

Rules:
- None

Target atom: has_incident_note::Service D.
Target statement: Service D has an incident note.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_risk_note, has_vendor_approval, may_receive_purchase_order, needs_procurement_review, submitted_tax_form.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Positive facts:
- Vendor F submitted a tax form.

Negative facts:
- None

Rules:
- None

Target atom: has_risk_note::Vendor F.
Target statement: Vendor F has a risk note.


Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_active_membership, has_borrowing_clearance, has_special_request, may_borrow_archive_item, needs_librarian_review.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Positive facts:
- Reader B has an active membership.

Negative facts:
- None

Rules:
- None

Target atom: has_special_request::Reader B.
Target statement: Reader B has a special request.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_clearance.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Positive facts:
- Ben has completed safety training.

Negative facts:
- Farid does not has security clearance.

Rules:
- None

Target atom: has_clearance::Farid.
Target statement: Farid has security clearance.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Account 48 has compliance clearance.
Account 48 passed KYC checks.

has_compliance_clearance::Account 48
passed_kyc::Account 48

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Positive facts:
- Account 48 has compliance clearance.
- Account 48 passed KYC checks.

Negative facts:
- None

Rules:
- None

Target atom: has_manual_exception::Account 35.
Target statement: Account 35 has a manual exception.


Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Positive facts:
- Part F passed the visual check.

Negative facts:
- None

Rules:
- None

Target atom: has_release_approval::Part F.
Target statement: Part F has release approval.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Reader F has an active membership.
Reader F has borrowing clearance.

has_active_membership::Reader F
has_borrowing_clearance::Reader F

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_borrowing_clearance, may_borrow_archive_item.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Positive facts:
- Reader F has an active membership.
- Reader F has borrowing clearance.

Negative facts:
- None

Rules:
- None

Target atom: has_special_request::Reader E.
Target statement: Reader E has a special request.


Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

passed_diagnostics::Rover 5
has_shift_clearance::Rover 5

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_shift_clearance, may_start_shift.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_field_note: has a field note
- has_shift_clearance: has shift clearance
- may_start_shift: may start its shift
- needs_operator_review: needs operator review
- passed_diagnostics: passed diagnostics

Positive facts:
- Rover 5 passed diagnostics.

Negative facts:
- None

Rules:
- If a robot passed diagnostics and has shift clearance, then that robot may start its shift.

Target atom: may_start_shift::Rover 5.
Target statement: Rover 5 may start its shift.


Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

submitted_tax_form::Vendor D
has_vendor_approval::Vendor D

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_vendor_approval, may_receive_purchase_order.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Positive facts:
- Vendor D submitted a tax form.

Negative facts:
- None

Rules:
- If a vendor submitted a tax form and has vendor approval, then that vendor may receive a purchase order.

Target atom: may_receive_purchase_order::Vendor D.
Target statement: Vendor D may receive a purchase order.


Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_clearance, may_enter_lab.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Positive facts:
- Elena has completed safety training.

Negative facts:
- None

Rules:
- If a staff member is assigned to the clinical trial, then that staff member needs supervisor review.

Target atom: needs_supervisor_review::Elena.
Target statement: Elena needs supervisor review.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Account 59 has a manual exception.
Account 48 passed KYC checks.

has_manual_exception::Account 59
passed_kyc::Account 48

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Positive facts:
- Account 59 has a manual exception.
- Account 48 passed KYC checks.

Negative facts:
- None

Rules:
- None

Target atom: has_compliance_clearance::Account 48.
Target statement: Account 48 has compliance clearance.


Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Positive facts:
- Service E passed unit tests.

Negative facts:
- Service C does not has deployment approval.

Rules:
- None

Target atom: has_deployment_approval::Service C.
Target statement: Service C has deployment approval.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Service C has deployment approval.
Service C passed unit tests.

has_deployment_approval::Service C
passed_unit_tests::Service C

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Positive facts:
- Service C has deployment approval.
- Service C passed unit tests.

Negative facts:
- None

Rules:
- None

Target atom: has_incident_note::Service B.
Target statement: Service B has an incident note.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Reader A has an active membership.
Reader A has borrowing clearance.

has_active_membership::Reader A
has_borrowing_clearance::Reader A

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_borrowing_clearance, may_borrow_archive_item.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Positive facts:
- Reader A has an active membership.
- Reader A has borrowing clearance.

Negative facts:
- None

Rules:
- None

Target atom: has_special_request::Reader F.
Target statement: Reader F has a special request.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Rover 5 has shift clearance.
Rover 5 passed diagnostics.

has_shift_clearance::Rover 5
passed_diagnostics::Rover 5

has_shift_clearance::Rover 5
may_start_shift::Rover 5
passed_diagnostics::Rover 5

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_field_note, has_shift_clearance, may_start_shift, needs_operator_review, passed_diagnostics.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_field_note: has a field note
- has_shift_clearance: has shift clearance
- may_start_shift: may start its shift
- needs_operator_review: needs operator review
- passed_diagnostics: passed diagnostics

Positive facts:
- Rover 5 has shift clearance.
- Rover 5 passed diagnostics.

Negative facts:
- None

Rules:
- If a robot passed diagnostics and has shift clearance, then that robot may start its shift.

Target atom: may_start_shift::Rover 5.
Target statement: Rover 5 may start its shift.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Vendor A has vendor approval.
Vendor A submitted a tax form.

has_vendor_approval::Vendor A
submitted_tax_form::Vendor A

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_vendor_approval, may_receive_purchase_order.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Positive facts:
- Vendor A has vendor approval.
- Vendor A submitted a tax form.

Negative facts:
- None

Rules:
- None

Target atom: has_risk_note::Vendor F.
Target statement: Vendor F has a risk note.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Service E has an incident note.
Service D passed unit tests.

has_incident_note::Service E
passed_unit_tests::Service D

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Positive facts:
- Service E has an incident note.
- Service D passed unit tests.

Negative facts:
- None

Rules:
- None

Target atom: has_deployment_approval::Service D.
Target statement: Service D has deployment approval.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Rover 6 has shift clearance.
Rover 6 passed diagnostics.

has_shift_clearance::Rover 6
passed_diagnostics::Rover 6

passed_diagnostics::Rover 6
has_shift_clearance::Rover 6

has_shift_clearance::Rover 6
may_start_shift::Rover 6
passed_diagnostics::Rover 6

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_shift_clearance, may_start_shift.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_field_note: has a field note
- has_shift_clearance: has shift clearance
- may_start_shift: may start its shift
- needs_operator_review: needs operator review
- passed_diagnostics: passed diagnostics

Positive facts:
- Rover 6 has shift clearance.
- Rover 6 passed diagnostics.

Negative facts:
- None

Rules:
- If a robot passed diagnostics and has shift clearance, then that robot may start its shift.

Target atom: may_start_shift::Rover 6.
Target statement: Rover 6 may start its shift.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_active_membership, has_borrowing_clearance, has_special_request, may_borrow_archive_item, needs_librarian_review.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Positive facts:
- Reader A has an active membership.

Negative facts:
- None

Rules:
- None

Target atom: has_special_request::Reader A.
Target statement: Reader A has a special request.


Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_active_membership, has_borrowing_clearance, has_special_request, may_borrow_archive_item, needs_librarian_review.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Positive facts:
- Reader B has an active membership.

Negative facts:
- Reader F does not has borrowing clearance.

Rules:
- None

Target atom: has_borrowing_clearance::Reader F.
Target statement: Reader F has borrowing clearance.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Rover 5 has a field note.
Rover 4 passed diagnostics.

has_field_note::Rover 5
passed_diagnostics::Rover 4

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_field_note: has a field note
- has_shift_clearance: has shift clearance
- may_start_shift: may start its shift
- needs_operator_review: needs operator review
- passed_diagnostics: passed diagnostics

Positive facts:
- Rover 5 has a field note.
- Rover 4 passed diagnostics.

Negative facts:
- None

Rules:
- None

Target atom: has_shift_clearance::Rover 4.
Target statement: Rover 4 has shift clearance.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Account 12 has a manual exception.
Account 61 passed KYC checks.

has_manual_exception::Account 12
passed_kyc::Account 61

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Positive facts:
- Account 12 has a manual exception.
- Account 61 passed KYC checks.

Negative facts:
- None

Rules:
- None

Target atom: has_compliance_clearance::Account 61.
Target statement: Account 61 has compliance clearance.


Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_risk_note, has_vendor_approval, may_receive_purchase_order, needs_procurement_review, submitted_tax_form.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Positive facts:
- Vendor D submitted a tax form.

Negative facts:
- None

Rules:
- If a vendor has a risk note, then that vendor needs procurement review.

Target atom: needs_procurement_review::Vendor D.
Target statement: Vendor D needs procurement review.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Reader E has an active membership.
Reader E has borrowing clearance.

has_active_membership::Reader E
has_borrowing_clearance::Reader E

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_borrowing_clearance, may_borrow_archive_item.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Positive facts:
- Reader E has an active membership.
- Reader E has borrowing clearance.

Negative facts:
- None

Rules:
- None

Target atom: has_special_request::Reader D.
Target statement: Reader D has a special request.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Positive facts:
- Service C passed unit tests.

Negative facts:
- None

Rules:
- If a service has an incident note, then that service needs SRE review.

Target atom: needs_sre_review::Service C.
Target statement: Service C needs SRE review.


Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Mia has advising clearance.
Mia passed the qualifying exam.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_advising_clearance, has_external_scholarship, may_register, needs_manual_audit, passed_exam.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_advising_clearance: has advising clearance
- has_external_scholarship: has an external scholarship
- may_register: may register for the seminar
- needs_manual_audit: needs a manual audit
- passed_exam: passed the qualifying exam

Positive facts:
- Mia has advising clearance.
- Mia passed the qualifying exam.

Negative facts:
- None

Rules:
- If a student passed the qualifying exam and has advising clearance, then that student may register for the seminar.

Target atom: may_register::Mia.
Target statement: Mia may register for the seminar.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

passed_unit_tests::Service F
has_deployment_approval::Service F

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Positive facts:
- Service F passed unit tests.

Negative facts:
- None

Rules:
- If a service passed unit tests and has deployment approval, then that service may deploy to production.

Target atom: may_deploy::Service F.
Target statement: Service F may deploy to production.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Account 12 has a manual exception.
Account 61 passed KYC checks.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_compliance_clearance.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Positive facts:
- Account 12 has a manual exception.
- Account 61 passed KYC checks.

Negative facts:
- None

Rules:
- None

Target atom: has_compliance_clearance::Account 61.
Target statement: Account 61 has compliance clearance.


Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_vendor_approval, may_receive_purchase_order.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Positive facts:
- Vendor D submitted a tax form.

Negative facts:
- Vendor B does not has a risk note.

Rules:
- None

Target atom: has_risk_note::Vendor B.
Target statement: Vendor B has a risk note.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Positive facts:
- Cora has completed safety training.

Negative facts:
- None

Rules:
- None

Target atom: has_clearance::Cora.
Target statement: Cora has security clearance.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

passed_unit_tests::Service A
has_deployment_approval::Service A

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_deployment_approval, may_deploy.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Positive facts:
- Service A passed unit tests.

Negative facts:
- None

Rules:
- If a service passed unit tests and has deployment approval, then that service may deploy to production.

Target atom: may_deploy::Service A.
Target statement: Service A may deploy to production.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_field_note: has a field note
- has_shift_clearance: has shift clearance
- may_start_shift: may start its shift
- needs_operator_review: needs operator review
- passed_diagnostics: passed diagnostics

Positive facts:
- Rover 5 passed diagnostics.

Negative facts:
- None

Rules:
- If a robot passed diagnostics and has shift clearance, then that robot may start its shift.

Target atom: may_start_shift::Rover 5.
Target statement: Rover 5 may start its shift.


Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Rover 6 has shift clearance.
Rover 6 passed diagnostics.

has_shift_clearance::Rover 6
passed_diagnostics::Rover 6

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Open-world assumption.
Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.
Complete predicates for this item: none.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_field_note: has a field note
- has_shift_clearance: has shift clearance
- may_start_shift: may start its shift
- needs_operator_review: needs operator review
- passed_diagnostics: passed diagnostics

Positive facts:
- Rover 6 has shift clearance.
- Rover 6 passed diagnostics.

Negative facts:
- None

Rules:
- None

Target atom: has_field_note::Rover 5.
Target statement: Rover 5 has a field note.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Account 27 has compliance clearance.
Account 27 passed KYC checks.

has_compliance_clearance::Account 27
passed_kyc::Account 27

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Closed-world assumption.
All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.
Complete predicates for this item: has_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Positive facts:
- Account 27 has compliance clearance.
- Account 27 passed KYC checks.

Negative facts:
- None

Rules:
- None

Target atom: has_manual_exception::Account 12.
Target statement: Account 12 has a manual exception.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are evaluating a formal knowledge-base statement.
Return exactly one JSON object with keys answer and rationale.
The answer must be one of: true, false, unknown.

Formal rule semantics:
- Positive facts are true.
- Negative facts make the corresponding target atom false.
- A rule derives its conclusion only when every antecedent is true.
- First apply all rules until no new facts can be derived.
- Then apply the semantic contract to unstated and underivable atoms.

Semantic contract: Locally closed-world assumption.
Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.
Complete predicates for this item: has_release_approval, may_ship.

Important closure rule:
For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived after applying the rules, then P(entity) is false. This does not require an explicit negative fact.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Positive facts:
- Part A passed the visual check.

Negative facts:
- Part E does not has a supplier note.

Rules:
- None

Target atom: has_supplier_note::Part E.
Target statement: Part E has a supplier note.