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

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

has_active_membership::Reader F
has_borrowing_clearance::Reader F

Is it true that Reader E has a special request?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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.

Decide whether to approve the target statement, deny it, or request more information.


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 2 has shift clearance.
Rover 2 passed diagnostics.

has_shift_clearance::Rover 2
passed_diagnostics::Rover 2

Is it true that Rover 1 has a field note?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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 2 has shift clearance.
- Rover 2 passed diagnostics.

Negative facts:
- none

Rules:
- none

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

Decide whether to approve the target statement, deny it, or request more information.


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.

Is it true that Ava is assigned to the clinical trial?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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: assigned_to_trial::Ava.
Target statement: Ava is assigned to the clinical trial.

Decide whether to approve the target statement, deny it, or request more information.


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.

Is it true that Account 61 has a manual exception?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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, may_receive_wire.

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 61 passed KYC checks.

Negative facts:
- none

Rules:
- If an account has a manual exception, then that account needs compliance review.

Target atom: needs_compliance_review::Account 61.
Target statement: Account 61 needs compliance review.

Decide whether to approve the target statement, deny it, or request more information.


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 4 has a field note.
Rover 3 passed diagnostics.

has_field_note::Rover 4
passed_diagnostics::Rover 3

Is it true that Rover 3 has shift clearance?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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 4 has a field note.
- Rover 3 passed diagnostics.

Negative facts:
- none

Rules:
- none

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

Decide whether to approve the target statement, deny it, or request more information.


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 an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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 is assigned to the clinical trial.

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::Farid.
Target statement: Farid needs supervisor review.

Decide whether to approve the target statement, deny it, or request more information.


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 an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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:
- Ava is not assigned to the clinical trial.

Rules:
- none

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

Decide whether to approve the target statement, deny it, or request more information.


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 B has vendor approval.
Vendor B submitted a tax form.

has_vendor_approval::Vendor B
submitted_tax_form::Vendor B

submitted_tax_form::Vendor B
has_vendor_approval::Vendor B

has_vendor_approval::Vendor B
may_receive_purchase_order::Vendor B
submitted_tax_form::Vendor B

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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 has vendor approval.
- Vendor B 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 B.
Target statement: Vendor B may receive a purchase order.

Decide whether to approve the target statement, deny it, or request more information.


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 an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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:
- Theo passed the qualifying exam.

Negative facts:
- Omar does not has advising clearance.

Rules:
- none

Target atom: has_advising_clearance::Omar.
Target statement: Omar has advising clearance.

Decide whether to approve the target statement, deny it, or request more information.


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.

Part C has a supplier note.
Part B passed the visual check.

has_supplier_note::Part C
passed_visual_check::Part B

Is it true that Part B has release approval?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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 a supplier note.
- Part B passed the visual check.

Negative facts:
- none

Rules:
- none

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

Decide whether to approve the target statement, deny it, or request more information.


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.

Is it true that Service B has an incident note?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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 B passed unit tests.

Negative facts:
- none

Rules:
- none

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

Decide whether to approve the target statement, deny it, or request more information.


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 an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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:
- none

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

Decide whether to approve the target statement, deny it, or request more information.


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.

Is it true that Account 35 has compliance clearance?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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 35 passed KYC checks.

Negative facts:
- none

Rules:
- none

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

Decide whether to approve the target statement, deny it, or request more information.


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.

Is it true that Rover 1 has a field note?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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.

Decide whether to approve the target statement, deny it, or request more information.


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 an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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.

Decide whether to approve the target statement, deny it, or request more information.


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 an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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.

Decide whether to approve the target statement, deny it, or request more information.


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 an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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.

Decide whether to approve the target statement, deny it, or request more information.


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.

Is it true that Reader E has borrowing clearance?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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.

Decide whether to approve the target statement, deny it, or request more information.


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.

Is it true that Farid is assigned to the clinical trial?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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.

Decide whether to approve the target statement, deny it, or request more information.


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.

Is it true that Vendor B has vendor approval?

Prompt:
You are evaluating an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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.

Decide whether to approve the target statement, deny it, or request more information.


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 an operational decision under a formal knowledge-base semantic contract.
Return exactly one JSON object with keys truth_value, action, missing_predicate, missing_entity, question_to_ask, and rationale.

Allowed values:
- truth_value must be one of: true, false, unknown.
- action must be one of: approve, deny, request_information.
- If action is request_information, missing_predicate must be the exact predicate name to check, missing_entity must be the exact entity to check, and question_to_ask must ask for that missing atom.
- If action is approve or deny, missing_predicate, missing_entity, and question_to_ask must be null.

Action mapping:
- approve iff the target statement is semantically true.
- deny iff the target statement is semantically false.
- request_information iff the target statement is semantically 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.
- For a complete predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is false.
- For an open predicate P, if P(entity) is not explicitly stated and cannot be derived, then P(entity) is unknown.

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.

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.

Decide whether to approve the target statement, deny it, or request more information.