Closed-world assumption

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

has_supplier_note::Part D
needs_engineer_review::Part D

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_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

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 has a supplier note.

Negative facts:
- none

Rules:
- If a part has a supplier note, then that part needs engineer review.

Target atom: needs_engineer_review::Part D.
Target statement: Part D needs engineer review.

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.

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.

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:
- Elena does not has security clearance.

Rules:
- none

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

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.

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

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.

Negative facts:
- none

Rules:
- none

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

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 Reader B 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: 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.

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.

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.

Dylan has completed safety training.
Dylan has security clearance.

Is it true that Cora 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:
- Dylan has completed safety training.
- Dylan has security clearance.

Negative facts:
- none

Rules:
- none

Target atom: assigned_to_trial::Cora.
Target statement: Cora 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 Elena has security 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:
- 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 has security clearance and has completed safety training, then that staff member may enter Lab A.

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

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_field_note, has_shift_clearance, may_start_shift, needs_operator_review, passed_diagnostics.

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:
- Rover 3 does not has shift clearance.

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.


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 A
has_deployment_approval::Service A

Is it true that Service A has deployment 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_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.

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.

Is it true that Reader A 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 A has an active membership.

Negative facts:
- none

Rules:
- If a reader has a special request, then that reader needs librarian review.

Target atom: needs_librarian_review::Reader A.
Target statement: Reader A needs librarian 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.

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_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

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 E passed the visual check.

Negative facts:
- none

Rules:
- If a part has a supplier note, then that part needs engineer review.

Target atom: needs_engineer_review::Part E.
Target statement: Part E needs engineer 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.

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

has_deployment_approval::Service D
passed_unit_tests::Service D

Is it true that Service C 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: 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 D has deployment approval.
- Service D passed unit tests.

Negative facts:
- none

Rules:
- none

Target atom: has_incident_note::Service C.
Target statement: Service C 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.

has_active_membership::Reader B
has_borrowing_clearance::Reader 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: 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.

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:
- If a reader has an active membership and has borrowing clearance, then that reader may borrow an archive item.

Target atom: may_borrow_archive_item::Reader B.
Target statement: Reader B may borrow an archive item.

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.

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

Negative facts:
- none

Rules:
- none

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

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.

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: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.

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.


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.

submitted_tax_form::Vendor C
has_vendor_approval::Vendor 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_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 C 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 C.
Target statement: Vendor C may receive a purchase order.

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.

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

has_active_membership::Reader D
has_borrowing_clearance::Reader D
may_borrow_archive_item::Reader D

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_borrowing_clearance, may_borrow_archive_item.

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:
- If a reader has an active membership and has borrowing clearance, then that reader may borrow an archive item.

Target atom: may_borrow_archive_item::Reader D.
Target statement: Reader D may borrow an archive item.

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.

Cora has completed safety training.
Cora has security clearance.

Is it true that Ben 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:
- Cora has completed safety training.
- Cora has security clearance.

Negative facts:
- none

Rules:
- none

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

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.

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

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.


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_risk_note, has_vendor_approval, may_receive_purchase_order, needs_procurement_review, submitted_tax_form.

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.

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.

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

has_active_membership::Reader E
has_borrowing_clearance::Reader E

Is it true that Reader D 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 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.

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.

Service A has an incident note.
Service F passed unit tests.

has_incident_note::Service A
passed_unit_tests::Service F

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_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.

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 has an incident note.
- Service F passed unit tests.

Negative facts:
- none

Rules:
- none

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

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 Part E has a supplier 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: 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 E passed the visual check.

Negative facts:
- none

Rules:
- If a part has a supplier note, then that part needs engineer review.

Target atom: needs_engineer_review::Part E.
Target statement: Part E needs engineer 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.

Is it true that Account 48 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 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.


Closed-world assumption

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

Reader E has an active membership.
Reader F has a special request.

has_active_membership::Reader E
has_special_request::Reader F

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_active_membership, has_borrowing_clearance, has_special_request, may_borrow_archive_item, needs_librarian_review.

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 F has a special request.

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.


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

has_compliance_clearance::Account 59
passed_kyc::Account 59

Is it true that Account 48 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: 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 59 has compliance clearance.
- Account 59 passed KYC checks.

Negative facts:
- none

Rules:
- none

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

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

has_shift_clearance::Rover 1
passed_diagnostics::Rover 1

Is it true that Rover 6 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 has shift clearance.
- Rover 1 passed diagnostics.

Negative facts:
- none

Rules:
- none

Target atom: has_field_note::Rover 6.
Target statement: Rover 6 has a field 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:
- Noah 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::Noah.
Target statement: Noah needs a manual audit.

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.

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

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

has_active_membership::Reader D
has_borrowing_clearance::Reader D

Is it true that Reader C 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 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.

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.

Omar has an external scholarship.
Lena passed the qualifying exam.

Is it true that Lena has advising 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_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:
- Omar has an external scholarship.
- Lena passed the qualifying exam.

Negative facts:
- none

Rules:
- none

Target atom: has_advising_clearance::Lena.
Target statement: Lena has advising 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.

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.

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 3 passed diagnostics.

Negative facts:
- Rover 1 does not has shift clearance.

Rules:
- none

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

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

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 has an external scholarship.

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.

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.

Vendor E has a risk note.
Vendor D submitted a tax form.

has_risk_note::Vendor E
submitted_tax_form::Vendor D

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_risk_note, has_vendor_approval, may_receive_purchase_order, needs_procurement_review, submitted_tax_form.

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 E has a risk note.
- Vendor D submitted a tax form.

Negative facts:
- none

Rules:
- none

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

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.

Dylan has completed safety training.
Dylan has security 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:
- 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:
- Dylan has completed safety training.
- Dylan has security clearance.

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::Dylan.
Target statement: Dylan may enter Lab A.

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.

passed_kyc::Account 12
has_compliance_clearance::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: 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 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.


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.

has_special_request::Reader D
needs_librarian_review::Reader D

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_borrowing_clearance, may_borrow_archive_item.

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 a special request.

Negative facts:
- none

Rules:
- If a reader has a special request, then that reader needs librarian review.

Target atom: needs_librarian_review::Reader D.
Target statement: Reader D needs librarian 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.

Is it true that Rover 5 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 5 passed diagnostics.

Negative facts:
- none

Rules:
- none

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

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.

has_active_membership::Reader A
has_borrowing_clearance::Reader A

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_active_membership, has_borrowing_clearance, has_special_request, may_borrow_archive_item, needs_librarian_review.

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:
- If a reader has an active membership and has borrowing clearance, then that reader may borrow an archive item.

Target atom: may_borrow_archive_item::Reader A.
Target statement: Reader A may borrow an archive item.

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