Closed-world assumption

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

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

passed_kyc::Account 35
has_compliance_clearance::Account 35

has_compliance_clearance::Account 35
may_receive_wire::Account 35
passed_kyc::Account 35

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.
Agent B open/incomplete predicates: 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

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

Agent A report:
Positive facts:
- Account 35 has compliance clearance.
- Account 35 passed KYC checks.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

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

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

has_compliance_clearance::Account 35
passed_kyc::Account 35

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_compliance_clearance, may_receive_wire.
Agent B open/incomplete predicates: has_manual_exception, 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

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

Agent A report:
Positive facts:
- Account 35 has compliance clearance.
Negative facts:
- none

Agent B report:
Positive facts:
- Account 35 passed KYC checks.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

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

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Account 35 has compliance clearance.
- Account 35 passed KYC checks.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Account 35 passed KYC checks.
Negative facts:
- Account 12 does not has a manual exception.

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_compliance_clearance, may_receive_wire.
Agent B open/incomplete predicates: has_manual_exception, 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Account 35 passed KYC checks.
Negative facts:
- Account 12 does not has a manual exception.

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

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

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Account 35 passed KYC checks.
Negative facts:
- Account 12 does not has a manual exception.

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Account 59 passed KYC checks.
Negative facts:
- Account 35 does not has a manual exception.

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_compliance_clearance, may_receive_wire.
Agent B open/incomplete predicates: has_manual_exception, 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Account 59 passed KYC checks.
Negative facts:
- Account 35 does not has a manual exception.

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

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

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Account 59 passed KYC checks.
Negative facts:
- Account 35 does not has a manual exception.

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Ben has completed safety training.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_clearance.
Agent B open/incomplete predicates: assigned_to_trial, completed_training, 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Ben has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

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

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Ben has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Dylan has completed safety training.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_clearance.
Agent B open/incomplete predicates: assigned_to_trial, completed_training, 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Dylan has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

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

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Dylan has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Farid has completed safety training.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_clearance, may_enter_lab.
Agent B open/incomplete predicates: assigned_to_trial, completed_training, 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Farid has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

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

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Farid has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Ben has completed safety training.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_clearance, may_enter_lab.
Agent B open/incomplete predicates: assigned_to_trial, completed_training, 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Ben has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

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

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Ben has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

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

Ben has completed safety training.
Ben has security clearance.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Ben has completed safety training.
- Ben has security clearance.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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.

Ben has completed safety training.
Ben has security clearance.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_clearance, may_enter_lab.
Agent B open/incomplete predicates: assigned_to_trial, completed_training, 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Ben has security clearance.
Negative facts:
- none

Agent B report:
Positive facts:
- Ben has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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.

Ben has completed safety training.
Ben has security clearance.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Ben has completed safety training.
- Ben has security clearance.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

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

Dylan has completed safety training.
Dylan has security clearance.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Dylan has completed safety training.
- Dylan has security clearance.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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.

Dylan has completed safety training.
Dylan has security clearance.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_clearance, may_enter_lab.
Agent B open/incomplete predicates: assigned_to_trial, completed_training, 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Dylan has security clearance.
Negative facts:
- none

Agent B report:
Positive facts:
- Dylan has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Dylan has completed safety training.
- Dylan has security clearance.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

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

Elena has completed safety training.
Elena has security clearance.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Elena has completed safety training.
- Elena has security clearance.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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.

Elena has completed safety training.
Elena has security clearance.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_clearance, may_enter_lab.
Agent B open/incomplete predicates: assigned_to_trial, completed_training, 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Elena has security clearance.
Negative facts:
- none

Agent B report:
Positive facts:
- Elena has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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.

Elena has completed safety training.
Elena has security clearance.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Elena has completed safety training.
- Elena has security clearance.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: 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

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

Agent A report:
Positive facts:
- Elena has completed safety training.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_clearance, may_enter_lab.
Agent B open/incomplete predicates: assigned_to_trial, completed_training, 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

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

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Elena has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

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

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

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

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Elena has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: 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

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

Agent A report:
Positive facts:
- Farid has completed safety training.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_clearance, may_enter_lab.
Agent B open/incomplete predicates: assigned_to_trial, completed_training, 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

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

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Farid has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

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

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

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

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Farid has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

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

Dylan has completed safety training.
Dylan has security clearance.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: 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

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

Agent A report:
Positive facts:
- Dylan has completed safety training.
- Dylan has security clearance.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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.

Dylan has completed safety training.
Dylan has security clearance.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_clearance, may_enter_lab.
Agent B open/incomplete predicates: assigned_to_trial, completed_training, 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

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

Agent A report:
Positive facts:
- Dylan has security clearance.
Negative facts:
- none

Agent B report:
Positive facts:
- Dylan has completed safety training.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: 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

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

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Dylan has completed safety training.
- Dylan has security clearance.
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


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 the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: 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

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

Agent A report:
Positive facts:
- Ava is assigned to the clinical trial.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

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

Decide the truth value, identify which source justified the decision, and classify how closure was handled.