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_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 1 passed diagnostics.

Negative facts:
- None

Rules:
- If a robot has a field note, then that robot needs operator review.

Target atom: needs_operator_review::Rover 1.
Target statement: Rover 1 needs operator review.


Closed-world assumption

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

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: 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 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: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

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

has_compliance_clearance::Account 12
passed_kyc::Account 12

passed_kyc::Account 12
has_compliance_clearance::Account 12

has_compliance_clearance::Account 12
may_receive_wire::Account 12
passed_kyc::Account 12

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 compliance clearance.
- Account 12 passed KYC checks.

Negative facts:
- None

Rules:
- If an account passed KYC checks and has compliance clearance, then that account may receive a wire transfer.

Target atom: may_receive_wire::Account 12.
Target statement: Account 12 may receive a wire transfer.


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 C has release approval.
Part C passed the visual check.

has_release_approval::Part C
passed_visual_check::Part C

passed_visual_check::Part C
has_release_approval::Part C

has_release_approval::Part C
may_ship::Part C
passed_visual_check::Part 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: 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 C has release approval.
- Part C passed the visual check.

Negative facts:
- None

Rules:
- If a part passed the visual check and has release approval, then that part may ship to customers.

Target atom: may_ship::Part C.
Target statement: Part C may ship to customers.


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_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.

Negative facts:
- None

Rules:
- None

Target atom: has_borrowing_clearance::Reader E.
Target statement: Reader E has borrowing 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_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:
- Farid has completed safety training.

Negative facts:
- None

Rules:
- None

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


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 B submitted a tax form.

Negative facts:
- None

Rules:
- None

Target atom: has_vendor_approval::Vendor B.
Target statement: Vendor B has vendor approval.


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

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

has_deployment_approval::Service C
passed_unit_tests::Service C

passed_unit_tests::Service C
has_deployment_approval::Service C

has_deployment_approval::Service C
may_deploy::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: 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 C has deployment approval.
- Service C 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 C.
Target statement: Service C may deploy to production.