{"family": "test/condition-0", "decision": "We will submit the manuscript only as long as the coauthor authorizes submission.", "evidence": "The coauthor explicitly authorized submission.", "label": "valid", "case_id": "test-00000", "kind": "prerequisite"} {"family": "test/condition-0", "decision": "We will submit the manuscript only as long as the coauthor authorizes submission.", "evidence": "A separate project failed its tests. The coauthor explicitly authorized submission.", "label": "valid", "case_id": "test-00001", "kind": "distractor"} {"family": "test/condition-0", "decision": "We will submit the manuscript only as long as the coauthor authorizes submission.", "evidence": "An unverified rumour claims: The coauthor explicitly authorized submission. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00002", "kind": "uncertain_source"} {"family": "test/condition-0", "decision": "We will submit the manuscript only as long as the coauthor authorizes submission.", "evidence": "The coauthor asked to hold the manuscript.", "label": "invalid", "case_id": "test-00003", "kind": "prerequisite"} {"family": "test/condition-0", "decision": "We will submit the manuscript only as long as the coauthor authorizes submission.", "evidence": "Another team's request was approved. The coauthor asked to hold the manuscript.", "label": "invalid", "case_id": "test-00004", "kind": "distractor"} {"family": "test/condition-0", "decision": "We will submit the manuscript only as long as the coauthor authorizes submission.", "evidence": "An unverified rumour claims: The coauthor asked to hold the manuscript. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00005", "kind": "uncertain_source"} {"family": "test/condition-0", "decision": "We will submit the manuscript only as long as the coauthor authorizes submission.", "evidence": "The coauthor's final position has not been communicated.", "label": "unknown", "case_id": "test-00006", "kind": "prerequisite"} {"family": "test/condition-0", "decision": "We will submit the manuscript only as long as the coauthor authorizes submission.", "evidence": "The coauthor's final position has not been communicated. An unrelated order was cancelled.", "label": "unknown", "case_id": "test-00007", "kind": "distractor"} {"family": "test/condition-0", "decision": "We will submit the manuscript only as long as the coauthor authorizes submission.", "evidence": "An unverified rumour claims: The coauthor's final position has not been communicated. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00008", "kind": "uncertain_source"} {"family": "test/condition-0", "decision": "Submit the manuscript only if the coauthor authorizes submission and the owner gives approval.", "evidence": "The coauthor explicitly authorized submission. The owner also gave current approval.", "label": "valid", "case_id": "test-00027", "kind": "conjunction"} {"family": "test/condition-0", "decision": "Submit the manuscript only if the coauthor authorizes submission and the owner gives approval.", "evidence": "The coauthor explicitly authorized submission. The owner withdrew approval.", "label": "invalid", "case_id": "test-00028", "kind": "conjunction"} {"family": "test/condition-0", "decision": "Submit the manuscript only if the coauthor authorizes submission and the owner gives approval.", "evidence": "The coauthor explicitly authorized submission. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00029", "kind": "conjunction"} {"family": "test/condition-0", "decision": "Submit the manuscript only if the coauthor authorizes submission and the owner gives approval.", "evidence": "The coauthor asked to hold the manuscript. The owner also gave current approval.", "label": "invalid", "case_id": "test-00030", "kind": "conjunction"} {"family": "test/condition-0", "decision": "Submit the manuscript only if the coauthor authorizes submission and the owner gives approval.", "evidence": "The coauthor asked to hold the manuscript. The owner withdrew approval.", "label": "invalid", "case_id": "test-00031", "kind": "conjunction"} {"family": "test/condition-0", "decision": "Submit the manuscript only if the coauthor authorizes submission and the owner gives approval.", "evidence": "The coauthor asked to hold the manuscript. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00032", "kind": "conjunction"} {"family": "test/condition-0", "decision": "Submit the manuscript only if the coauthor authorizes submission and the owner gives approval.", "evidence": "The coauthor's final position has not been communicated. The owner also gave current approval.", "label": "unknown", "case_id": "test-00033", "kind": "conjunction"} {"family": "test/condition-0", "decision": "Submit the manuscript only if the coauthor authorizes submission and the owner gives approval.", "evidence": "The coauthor's final position has not been communicated. The owner withdrew approval.", "label": "invalid", "case_id": "test-00034", "kind": "conjunction"} {"family": "test/condition-0", "decision": "Submit the manuscript only if the coauthor authorizes submission and the owner gives approval.", "evidence": "The coauthor's final position has not been communicated. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00035", "kind": "conjunction"} {"family": "test/condition-0", "decision": "The prerequisite for our decision to submit the manuscript is that the coauthor authorizes submission.", "evidence": "The coauthor explicitly authorized submission.", "label": "valid", "case_id": "test-00018", "kind": "prerequisite"} {"family": "test/condition-0", "decision": "The prerequisite for our decision to submit the manuscript is that the coauthor authorizes submission.", "evidence": "The coauthor explicitly authorized submission. A separate project failed its tests.", "label": "valid", "case_id": "test-00019", "kind": "distractor"} {"family": "test/condition-0", "decision": "The prerequisite for our decision to submit the manuscript is that the coauthor authorizes submission.", "evidence": "An unverified rumour claims: The coauthor explicitly authorized submission. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00020", "kind": "uncertain_source"} {"family": "test/condition-0", "decision": "The prerequisite for our decision to submit the manuscript is that the coauthor authorizes submission.", "evidence": "The coauthor asked to hold the manuscript.", "label": "invalid", "case_id": "test-00021", "kind": "prerequisite"} {"family": "test/condition-0", "decision": "The prerequisite for our decision to submit the manuscript is that the coauthor authorizes submission.", "evidence": "An unrelated order was cancelled. The coauthor asked to hold the manuscript.", "label": "invalid", "case_id": "test-00022", "kind": "distractor"} {"family": "test/condition-0", "decision": "The prerequisite for our decision to submit the manuscript is that the coauthor authorizes submission.", "evidence": "An unverified rumour claims: The coauthor asked to hold the manuscript. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00023", "kind": "uncertain_source"} {"family": "test/condition-0", "decision": "The prerequisite for our decision to submit the manuscript is that the coauthor authorizes submission.", "evidence": "The coauthor's final position has not been communicated.", "label": "unknown", "case_id": "test-00024", "kind": "prerequisite"} {"family": "test/condition-0", "decision": "The prerequisite for our decision to submit the manuscript is that the coauthor authorizes submission.", "evidence": "The coauthor's final position has not been communicated. An unrelated order was cancelled.", "label": "unknown", "case_id": "test-00025", "kind": "distractor"} {"family": "test/condition-0", "decision": "The prerequisite for our decision to submit the manuscript is that the coauthor authorizes submission.", "evidence": "An unverified rumour claims: The coauthor's final position has not been communicated. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00026", "kind": "uncertain_source"} {"family": "test/condition-1", "decision": "We will start the treatment simulation only as long as the simulated patient record is complete.", "evidence": "Every required part of the simulated record is present.", "label": "valid", "case_id": "test-00036", "kind": "prerequisite"} {"family": "test/condition-1", "decision": "We will start the treatment simulation only as long as the simulated patient record is complete.", "evidence": "Another team's request was approved. Every required part of the simulated record is present.", "label": "valid", "case_id": "test-00037", "kind": "distractor"} {"family": "test/condition-1", "decision": "We will start the treatment simulation only as long as the simulated patient record is complete.", "evidence": "An unverified rumour claims: Every required part of the simulated record is present. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00038", "kind": "uncertain_source"} {"family": "test/condition-1", "decision": "We will start the treatment simulation only as long as the simulated patient record is complete.", "evidence": "A required section of the simulated record is absent.", "label": "invalid", "case_id": "test-00039", "kind": "prerequisite"} {"family": "test/condition-1", "decision": "We will start the treatment simulation only as long as the simulated patient record is complete.", "evidence": "A separate project failed its tests. A required section of the simulated record is absent.", "label": "invalid", "case_id": "test-00040", "kind": "distractor"} {"family": "test/condition-1", "decision": "We will start the treatment simulation only as long as the simulated patient record is complete.", "evidence": "An unverified rumour claims: A required section of the simulated record is absent. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00041", "kind": "uncertain_source"} {"family": "test/condition-1", "decision": "We will start the treatment simulation only as long as the simulated patient record is complete.", "evidence": "Completeness of the simulated record is still being assessed.", "label": "unknown", "case_id": "test-00042", "kind": "prerequisite"} {"family": "test/condition-1", "decision": "We will start the treatment simulation only as long as the simulated patient record is complete.", "evidence": "A separate project failed its tests. Completeness of the simulated record is still being assessed.", "label": "unknown", "case_id": "test-00043", "kind": "distractor"} {"family": "test/condition-1", "decision": "We will start the treatment simulation only as long as the simulated patient record is complete.", "evidence": "An unverified rumour claims: Completeness of the simulated record is still being assessed. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00044", "kind": "uncertain_source"} {"family": "test/condition-1", "decision": "Start the treatment simulation only if the simulated patient record is complete and the owner gives approval.", "evidence": "Every required part of the simulated record is present. The owner also gave current approval.", "label": "valid", "case_id": "test-00063", "kind": "conjunction"} {"family": "test/condition-1", "decision": "Start the treatment simulation only if the simulated patient record is complete and the owner gives approval.", "evidence": "Every required part of the simulated record is present. The owner withdrew approval.", "label": "invalid", "case_id": "test-00064", "kind": "conjunction"} {"family": "test/condition-1", "decision": "Start the treatment simulation only if the simulated patient record is complete and the owner gives approval.", "evidence": "Every required part of the simulated record is present. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00065", "kind": "conjunction"} {"family": "test/condition-1", "decision": "Start the treatment simulation only if the simulated patient record is complete and the owner gives approval.", "evidence": "A required section of the simulated record is absent. The owner also gave current approval.", "label": "invalid", "case_id": "test-00066", "kind": "conjunction"} {"family": "test/condition-1", "decision": "Start the treatment simulation only if the simulated patient record is complete and the owner gives approval.", "evidence": "A required section of the simulated record is absent. The owner withdrew approval.", "label": "invalid", "case_id": "test-00067", "kind": "conjunction"} {"family": "test/condition-1", "decision": "Start the treatment simulation only if the simulated patient record is complete and the owner gives approval.", "evidence": "A required section of the simulated record is absent. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00068", "kind": "conjunction"} {"family": "test/condition-1", "decision": "Start the treatment simulation only if the simulated patient record is complete and the owner gives approval.", "evidence": "Completeness of the simulated record is still being assessed. The owner also gave current approval.", "label": "unknown", "case_id": "test-00069", "kind": "conjunction"} {"family": "test/condition-1", "decision": "Start the treatment simulation only if the simulated patient record is complete and the owner gives approval.", "evidence": "Completeness of the simulated record is still being assessed. The owner withdrew approval.", "label": "invalid", "case_id": "test-00070", "kind": "conjunction"} {"family": "test/condition-1", "decision": "Start the treatment simulation only if the simulated patient record is complete and the owner gives approval.", "evidence": "Completeness of the simulated record is still being assessed. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00071", "kind": "conjunction"} {"family": "test/condition-1", "decision": "The prerequisite for our decision to start the treatment simulation is that the simulated patient record is complete.", "evidence": "Every required part of the simulated record is present.", "label": "valid", "case_id": "test-00054", "kind": "prerequisite"} {"family": "test/condition-1", "decision": "The prerequisite for our decision to start the treatment simulation is that the simulated patient record is complete.", "evidence": "Another team's request was approved. Every required part of the simulated record is present.", "label": "valid", "case_id": "test-00055", "kind": "distractor"} {"family": "test/condition-1", "decision": "The prerequisite for our decision to start the treatment simulation is that the simulated patient record is complete.", "evidence": "An unverified rumour claims: Every required part of the simulated record is present. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00056", "kind": "uncertain_source"} {"family": "test/condition-1", "decision": "The prerequisite for our decision to start the treatment simulation is that the simulated patient record is complete.", "evidence": "A required section of the simulated record is absent.", "label": "invalid", "case_id": "test-00057", "kind": "prerequisite"} {"family": "test/condition-1", "decision": "The prerequisite for our decision to start the treatment simulation is that the simulated patient record is complete.", "evidence": "A required section of the simulated record is absent. A separate project failed its tests.", "label": "invalid", "case_id": "test-00058", "kind": "distractor"} {"family": "test/condition-1", "decision": "The prerequisite for our decision to start the treatment simulation is that the simulated patient record is complete.", "evidence": "An unverified rumour claims: A required section of the simulated record is absent. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00059", "kind": "uncertain_source"} {"family": "test/condition-1", "decision": "The prerequisite for our decision to start the treatment simulation is that the simulated patient record is complete.", "evidence": "Completeness of the simulated record is still being assessed.", "label": "unknown", "case_id": "test-00060", "kind": "prerequisite"} {"family": "test/condition-1", "decision": "The prerequisite for our decision to start the treatment simulation is that the simulated patient record is complete.", "evidence": "A separate project failed its tests. Completeness of the simulated record is still being assessed.", "label": "unknown", "case_id": "test-00061", "kind": "distractor"} {"family": "test/condition-1", "decision": "The prerequisite for our decision to start the treatment simulation is that the simulated patient record is complete.", "evidence": "An unverified rumour claims: Completeness of the simulated record is still being assessed. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00062", "kind": "uncertain_source"} {"family": "test/condition-2", "decision": "We will launch the webinar only as long as the speaker can attend.", "evidence": "The speaker confirmed attendance.", "label": "valid", "case_id": "test-00072", "kind": "prerequisite"} {"family": "test/condition-2", "decision": "We will launch the webinar only as long as the speaker can attend.", "evidence": "An unrelated order was cancelled. The speaker confirmed attendance.", "label": "valid", "case_id": "test-00073", "kind": "distractor"} {"family": "test/condition-2", "decision": "We will launch the webinar only as long as the speaker can attend.", "evidence": "An unverified rumour claims: The speaker confirmed attendance. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00074", "kind": "uncertain_source"} {"family": "test/condition-2", "decision": "We will launch the webinar only as long as the speaker can attend.", "evidence": "The speaker is unable to attend.", "label": "invalid", "case_id": "test-00075", "kind": "prerequisite"} {"family": "test/condition-2", "decision": "We will launch the webinar only as long as the speaker can attend.", "evidence": "The speaker is unable to attend. Another team's request was approved.", "label": "invalid", "case_id": "test-00076", "kind": "distractor"} {"family": "test/condition-2", "decision": "We will launch the webinar only as long as the speaker can attend.", "evidence": "An unverified rumour claims: The speaker is unable to attend. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00077", "kind": "uncertain_source"} {"family": "test/condition-2", "decision": "We will launch the webinar only as long as the speaker can attend.", "evidence": "The speaker's attendance is unconfirmed.", "label": "unknown", "case_id": "test-00078", "kind": "prerequisite"} {"family": "test/condition-2", "decision": "We will launch the webinar only as long as the speaker can attend.", "evidence": "The speaker's attendance is unconfirmed. A separate project failed its tests.", "label": "unknown", "case_id": "test-00079", "kind": "distractor"} {"family": "test/condition-2", "decision": "We will launch the webinar only as long as the speaker can attend.", "evidence": "An unverified rumour claims: The speaker's attendance is unconfirmed. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00080", "kind": "uncertain_source"} {"family": "test/condition-2", "decision": "Launch the webinar only if the speaker can attend and the owner gives approval.", "evidence": "The speaker confirmed attendance. The owner also gave current approval.", "label": "valid", "case_id": "test-00099", "kind": "conjunction"} {"family": "test/condition-2", "decision": "Launch the webinar only if the speaker can attend and the owner gives approval.", "evidence": "The speaker confirmed attendance. The owner withdrew approval.", "label": "invalid", "case_id": "test-00100", "kind": "conjunction"} {"family": "test/condition-2", "decision": "Launch the webinar only if the speaker can attend and the owner gives approval.", "evidence": "The speaker confirmed attendance. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00101", "kind": "conjunction"} {"family": "test/condition-2", "decision": "Launch the webinar only if the speaker can attend and the owner gives approval.", "evidence": "The speaker is unable to attend. The owner also gave current approval.", "label": "invalid", "case_id": "test-00102", "kind": "conjunction"} {"family": "test/condition-2", "decision": "Launch the webinar only if the speaker can attend and the owner gives approval.", "evidence": "The speaker is unable to attend. The owner withdrew approval.", "label": "invalid", "case_id": "test-00103", "kind": "conjunction"} {"family": "test/condition-2", "decision": "Launch the webinar only if the speaker can attend and the owner gives approval.", "evidence": "The speaker is unable to attend. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00104", "kind": "conjunction"} {"family": "test/condition-2", "decision": "Launch the webinar only if the speaker can attend and the owner gives approval.", "evidence": "The speaker's attendance is unconfirmed. The owner also gave current approval.", "label": "unknown", "case_id": "test-00105", "kind": "conjunction"} {"family": "test/condition-2", "decision": "Launch the webinar only if the speaker can attend and the owner gives approval.", "evidence": "The speaker's attendance is unconfirmed. The owner withdrew approval.", "label": "invalid", "case_id": "test-00106", "kind": "conjunction"} {"family": "test/condition-2", "decision": "Launch the webinar only if the speaker can attend and the owner gives approval.", "evidence": "The speaker's attendance is unconfirmed. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00107", "kind": "conjunction"} {"family": "test/condition-2", "decision": "The prerequisite for our decision to launch the webinar is that the speaker can attend.", "evidence": "The speaker confirmed attendance.", "label": "valid", "case_id": "test-00090", "kind": "prerequisite"} {"family": "test/condition-2", "decision": "The prerequisite for our decision to launch the webinar is that the speaker can attend.", "evidence": "Another team's request was approved. The speaker confirmed attendance.", "label": "valid", "case_id": "test-00091", "kind": "distractor"} {"family": "test/condition-2", "decision": "The prerequisite for our decision to launch the webinar is that the speaker can attend.", "evidence": "An unverified rumour claims: The speaker confirmed attendance. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00092", "kind": "uncertain_source"} {"family": "test/condition-2", "decision": "The prerequisite for our decision to launch the webinar is that the speaker can attend.", "evidence": "The speaker is unable to attend.", "label": "invalid", "case_id": "test-00093", "kind": "prerequisite"} {"family": "test/condition-2", "decision": "The prerequisite for our decision to launch the webinar is that the speaker can attend.", "evidence": "The speaker is unable to attend. A separate project failed its tests.", "label": "invalid", "case_id": "test-00094", "kind": "distractor"} {"family": "test/condition-2", "decision": "The prerequisite for our decision to launch the webinar is that the speaker can attend.", "evidence": "An unverified rumour claims: The speaker is unable to attend. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00095", "kind": "uncertain_source"} {"family": "test/condition-2", "decision": "The prerequisite for our decision to launch the webinar is that the speaker can attend.", "evidence": "The speaker's attendance is unconfirmed.", "label": "unknown", "case_id": "test-00096", "kind": "prerequisite"} {"family": "test/condition-2", "decision": "The prerequisite for our decision to launch the webinar is that the speaker can attend.", "evidence": "The speaker's attendance is unconfirmed. A separate project failed its tests.", "label": "unknown", "case_id": "test-00097", "kind": "distractor"} {"family": "test/condition-2", "decision": "The prerequisite for our decision to launch the webinar is that the speaker can attend.", "evidence": "An unverified rumour claims: The speaker's attendance is unconfirmed. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00098", "kind": "uncertain_source"} {"family": "test/condition-3", "decision": "We will order the fabric only as long as the sample passes quality review.", "evidence": "The sample passed quality review.", "label": "valid", "case_id": "test-00108", "kind": "prerequisite"} {"family": "test/condition-3", "decision": "We will order the fabric only as long as the sample passes quality review.", "evidence": "A separate project failed its tests. The sample passed quality review.", "label": "valid", "case_id": "test-00109", "kind": "distractor"} {"family": "test/condition-3", "decision": "We will order the fabric only as long as the sample passes quality review.", "evidence": "An unverified rumour claims: The sample passed quality review. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00110", "kind": "uncertain_source"} {"family": "test/condition-3", "decision": "We will order the fabric only as long as the sample passes quality review.", "evidence": "The sample failed quality review.", "label": "invalid", "case_id": "test-00111", "kind": "prerequisite"} {"family": "test/condition-3", "decision": "We will order the fabric only as long as the sample passes quality review.", "evidence": "The sample failed quality review. An unrelated order was cancelled.", "label": "invalid", "case_id": "test-00112", "kind": "distractor"} {"family": "test/condition-3", "decision": "We will order the fabric only as long as the sample passes quality review.", "evidence": "An unverified rumour claims: The sample failed quality review. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00113", "kind": "uncertain_source"} {"family": "test/condition-3", "decision": "We will order the fabric only as long as the sample passes quality review.", "evidence": "The sample's quality review has not concluded.", "label": "unknown", "case_id": "test-00114", "kind": "prerequisite"} {"family": "test/condition-3", "decision": "We will order the fabric only as long as the sample passes quality review.", "evidence": "The sample's quality review has not concluded. Another team's request was approved.", "label": "unknown", "case_id": "test-00115", "kind": "distractor"} {"family": "test/condition-3", "decision": "We will order the fabric only as long as the sample passes quality review.", "evidence": "An unverified rumour claims: The sample's quality review has not concluded. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00116", "kind": "uncertain_source"} {"family": "test/condition-3", "decision": "Order the fabric only if the sample passes quality review and the owner gives approval.", "evidence": "The sample passed quality review. The owner also gave current approval.", "label": "valid", "case_id": "test-00135", "kind": "conjunction"} {"family": "test/condition-3", "decision": "Order the fabric only if the sample passes quality review and the owner gives approval.", "evidence": "The sample passed quality review. The owner withdrew approval.", "label": "invalid", "case_id": "test-00136", "kind": "conjunction"} {"family": "test/condition-3", "decision": "Order the fabric only if the sample passes quality review and the owner gives approval.", "evidence": "The sample passed quality review. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00137", "kind": "conjunction"} {"family": "test/condition-3", "decision": "Order the fabric only if the sample passes quality review and the owner gives approval.", "evidence": "The sample failed quality review. The owner also gave current approval.", "label": "invalid", "case_id": "test-00138", "kind": "conjunction"} {"family": "test/condition-3", "decision": "Order the fabric only if the sample passes quality review and the owner gives approval.", "evidence": "The sample failed quality review. The owner withdrew approval.", "label": "invalid", "case_id": "test-00139", "kind": "conjunction"} {"family": "test/condition-3", "decision": "Order the fabric only if the sample passes quality review and the owner gives approval.", "evidence": "The sample failed quality review. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00140", "kind": "conjunction"} {"family": "test/condition-3", "decision": "Order the fabric only if the sample passes quality review and the owner gives approval.", "evidence": "The sample's quality review has not concluded. The owner also gave current approval.", "label": "unknown", "case_id": "test-00141", "kind": "conjunction"} {"family": "test/condition-3", "decision": "Order the fabric only if the sample passes quality review and the owner gives approval.", "evidence": "The sample's quality review has not concluded. The owner withdrew approval.", "label": "invalid", "case_id": "test-00142", "kind": "conjunction"} {"family": "test/condition-3", "decision": "Order the fabric only if the sample passes quality review and the owner gives approval.", "evidence": "The sample's quality review has not concluded. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00143", "kind": "conjunction"} {"family": "test/condition-3", "decision": "The prerequisite for our decision to order the fabric is that the sample passes quality review.", "evidence": "The sample passed quality review.", "label": "valid", "case_id": "test-00126", "kind": "prerequisite"} {"family": "test/condition-3", "decision": "The prerequisite for our decision to order the fabric is that the sample passes quality review.", "evidence": "The sample passed quality review. An unrelated order was cancelled.", "label": "valid", "case_id": "test-00127", "kind": "distractor"} {"family": "test/condition-3", "decision": "The prerequisite for our decision to order the fabric is that the sample passes quality review.", "evidence": "An unverified rumour claims: The sample passed quality review. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00128", "kind": "uncertain_source"} {"family": "test/condition-3", "decision": "The prerequisite for our decision to order the fabric is that the sample passes quality review.", "evidence": "The sample failed quality review.", "label": "invalid", "case_id": "test-00129", "kind": "prerequisite"} {"family": "test/condition-3", "decision": "The prerequisite for our decision to order the fabric is that the sample passes quality review.", "evidence": "The sample failed quality review. Another team's request was approved.", "label": "invalid", "case_id": "test-00130", "kind": "distractor"} {"family": "test/condition-3", "decision": "The prerequisite for our decision to order the fabric is that the sample passes quality review.", "evidence": "An unverified rumour claims: The sample failed quality review. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00131", "kind": "uncertain_source"} {"family": "test/condition-3", "decision": "The prerequisite for our decision to order the fabric is that the sample passes quality review.", "evidence": "The sample's quality review has not concluded.", "label": "unknown", "case_id": "test-00132", "kind": "prerequisite"} {"family": "test/condition-3", "decision": "The prerequisite for our decision to order the fabric is that the sample passes quality review.", "evidence": "An unrelated order was cancelled. The sample's quality review has not concluded.", "label": "unknown", "case_id": "test-00133", "kind": "distractor"} {"family": "test/condition-3", "decision": "The prerequisite for our decision to order the fabric is that the sample passes quality review.", "evidence": "An unverified rumour claims: The sample's quality review has not concluded. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00134", "kind": "uncertain_source"} {"family": "test/condition-4", "decision": "We will open the trail only as long as the bridge inspection is satisfactory.", "evidence": "Inspectors found the bridge satisfactory.", "label": "valid", "case_id": "test-00144", "kind": "prerequisite"} {"family": "test/condition-4", "decision": "We will open the trail only as long as the bridge inspection is satisfactory.", "evidence": "Another team's request was approved. Inspectors found the bridge satisfactory.", "label": "valid", "case_id": "test-00145", "kind": "distractor"} {"family": "test/condition-4", "decision": "We will open the trail only as long as the bridge inspection is satisfactory.", "evidence": "An unverified rumour claims: Inspectors found the bridge satisfactory. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00146", "kind": "uncertain_source"} {"family": "test/condition-4", "decision": "We will open the trail only as long as the bridge inspection is satisfactory.", "evidence": "Inspectors found the bridge unsafe to cross.", "label": "invalid", "case_id": "test-00147", "kind": "prerequisite"} {"family": "test/condition-4", "decision": "We will open the trail only as long as the bridge inspection is satisfactory.", "evidence": "Another team's request was approved. Inspectors found the bridge unsafe to cross.", "label": "invalid", "case_id": "test-00148", "kind": "distractor"} {"family": "test/condition-4", "decision": "We will open the trail only as long as the bridge inspection is satisfactory.", "evidence": "An unverified rumour claims: Inspectors found the bridge unsafe to cross. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00149", "kind": "uncertain_source"} {"family": "test/condition-4", "decision": "We will open the trail only as long as the bridge inspection is satisfactory.", "evidence": "The bridge inspection result has not been issued.", "label": "unknown", "case_id": "test-00150", "kind": "prerequisite"} {"family": "test/condition-4", "decision": "We will open the trail only as long as the bridge inspection is satisfactory.", "evidence": "A separate project failed its tests. The bridge inspection result has not been issued.", "label": "unknown", "case_id": "test-00151", "kind": "distractor"} {"family": "test/condition-4", "decision": "We will open the trail only as long as the bridge inspection is satisfactory.", "evidence": "An unverified rumour claims: The bridge inspection result has not been issued. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00152", "kind": "uncertain_source"} {"family": "test/condition-4", "decision": "Open the trail only if the bridge inspection is satisfactory and the owner gives approval.", "evidence": "Inspectors found the bridge satisfactory. The owner also gave current approval.", "label": "valid", "case_id": "test-00171", "kind": "conjunction"} {"family": "test/condition-4", "decision": "Open the trail only if the bridge inspection is satisfactory and the owner gives approval.", "evidence": "Inspectors found the bridge satisfactory. The owner withdrew approval.", "label": "invalid", "case_id": "test-00172", "kind": "conjunction"} {"family": "test/condition-4", "decision": "Open the trail only if the bridge inspection is satisfactory and the owner gives approval.", "evidence": "Inspectors found the bridge satisfactory. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00173", "kind": "conjunction"} {"family": "test/condition-4", "decision": "Open the trail only if the bridge inspection is satisfactory and the owner gives approval.", "evidence": "Inspectors found the bridge unsafe to cross. The owner also gave current approval.", "label": "invalid", "case_id": "test-00174", "kind": "conjunction"} {"family": "test/condition-4", "decision": "Open the trail only if the bridge inspection is satisfactory and the owner gives approval.", "evidence": "Inspectors found the bridge unsafe to cross. The owner withdrew approval.", "label": "invalid", "case_id": "test-00175", "kind": "conjunction"} {"family": "test/condition-4", "decision": "Open the trail only if the bridge inspection is satisfactory and the owner gives approval.", "evidence": "Inspectors found the bridge unsafe to cross. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00176", "kind": "conjunction"} {"family": "test/condition-4", "decision": "Open the trail only if the bridge inspection is satisfactory and the owner gives approval.", "evidence": "The bridge inspection result has not been issued. The owner also gave current approval.", "label": "unknown", "case_id": "test-00177", "kind": "conjunction"} {"family": "test/condition-4", "decision": "Open the trail only if the bridge inspection is satisfactory and the owner gives approval.", "evidence": "The bridge inspection result has not been issued. The owner withdrew approval.", "label": "invalid", "case_id": "test-00178", "kind": "conjunction"} {"family": "test/condition-4", "decision": "Open the trail only if the bridge inspection is satisfactory and the owner gives approval.", "evidence": "The bridge inspection result has not been issued. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00179", "kind": "conjunction"} {"family": "test/condition-4", "decision": "The prerequisite for our decision to open the trail is that the bridge inspection is satisfactory.", "evidence": "Inspectors found the bridge satisfactory.", "label": "valid", "case_id": "test-00162", "kind": "prerequisite"} {"family": "test/condition-4", "decision": "The prerequisite for our decision to open the trail is that the bridge inspection is satisfactory.", "evidence": "Inspectors found the bridge satisfactory. Another team's request was approved.", "label": "valid", "case_id": "test-00163", "kind": "distractor"} {"family": "test/condition-4", "decision": "The prerequisite for our decision to open the trail is that the bridge inspection is satisfactory.", "evidence": "An unverified rumour claims: Inspectors found the bridge satisfactory. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00164", "kind": "uncertain_source"} {"family": "test/condition-4", "decision": "The prerequisite for our decision to open the trail is that the bridge inspection is satisfactory.", "evidence": "Inspectors found the bridge unsafe to cross.", "label": "invalid", "case_id": "test-00165", "kind": "prerequisite"} {"family": "test/condition-4", "decision": "The prerequisite for our decision to open the trail is that the bridge inspection is satisfactory.", "evidence": "Inspectors found the bridge unsafe to cross. Another team's request was approved.", "label": "invalid", "case_id": "test-00166", "kind": "distractor"} {"family": "test/condition-4", "decision": "The prerequisite for our decision to open the trail is that the bridge inspection is satisfactory.", "evidence": "An unverified rumour claims: Inspectors found the bridge unsafe to cross. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00167", "kind": "uncertain_source"} {"family": "test/condition-4", "decision": "The prerequisite for our decision to open the trail is that the bridge inspection is satisfactory.", "evidence": "The bridge inspection result has not been issued.", "label": "unknown", "case_id": "test-00168", "kind": "prerequisite"} {"family": "test/condition-4", "decision": "The prerequisite for our decision to open the trail is that the bridge inspection is satisfactory.", "evidence": "The bridge inspection result has not been issued. A separate project failed its tests.", "label": "unknown", "case_id": "test-00169", "kind": "distractor"} {"family": "test/condition-4", "decision": "The prerequisite for our decision to open the trail is that the bridge inspection is satisfactory.", "evidence": "An unverified rumour claims: The bridge inspection result has not been issued. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00170", "kind": "uncertain_source"} {"family": "test/condition-5", "decision": "We will sign the lease only as long as the landlord accepts the terms.", "evidence": "The landlord accepted these terms.", "label": "valid", "case_id": "test-00180", "kind": "prerequisite"} {"family": "test/condition-5", "decision": "We will sign the lease only as long as the landlord accepts the terms.", "evidence": "Another team's request was approved. The landlord accepted these terms.", "label": "valid", "case_id": "test-00181", "kind": "distractor"} {"family": "test/condition-5", "decision": "We will sign the lease only as long as the landlord accepts the terms.", "evidence": "An unverified rumour claims: The landlord accepted these terms. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00182", "kind": "uncertain_source"} {"family": "test/condition-5", "decision": "We will sign the lease only as long as the landlord accepts the terms.", "evidence": "The landlord declined these terms.", "label": "invalid", "case_id": "test-00183", "kind": "prerequisite"} {"family": "test/condition-5", "decision": "We will sign the lease only as long as the landlord accepts the terms.", "evidence": "A separate project failed its tests. The landlord declined these terms.", "label": "invalid", "case_id": "test-00184", "kind": "distractor"} {"family": "test/condition-5", "decision": "We will sign the lease only as long as the landlord accepts the terms.", "evidence": "An unverified rumour claims: The landlord declined these terms. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00185", "kind": "uncertain_source"} {"family": "test/condition-5", "decision": "We will sign the lease only as long as the landlord accepts the terms.", "evidence": "The landlord is still considering the terms.", "label": "unknown", "case_id": "test-00186", "kind": "prerequisite"} {"family": "test/condition-5", "decision": "We will sign the lease only as long as the landlord accepts the terms.", "evidence": "The landlord is still considering the terms. Another team's request was approved.", "label": "unknown", "case_id": "test-00187", "kind": "distractor"} {"family": "test/condition-5", "decision": "We will sign the lease only as long as the landlord accepts the terms.", "evidence": "An unverified rumour claims: The landlord is still considering the terms. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00188", "kind": "uncertain_source"} {"family": "test/condition-5", "decision": "Sign the lease only if the landlord accepts the terms and the owner gives approval.", "evidence": "The landlord accepted these terms. The owner also gave current approval.", "label": "valid", "case_id": "test-00207", "kind": "conjunction"} {"family": "test/condition-5", "decision": "Sign the lease only if the landlord accepts the terms and the owner gives approval.", "evidence": "The landlord accepted these terms. The owner withdrew approval.", "label": "invalid", "case_id": "test-00208", "kind": "conjunction"} {"family": "test/condition-5", "decision": "Sign the lease only if the landlord accepts the terms and the owner gives approval.", "evidence": "The landlord accepted these terms. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00209", "kind": "conjunction"} {"family": "test/condition-5", "decision": "Sign the lease only if the landlord accepts the terms and the owner gives approval.", "evidence": "The landlord declined these terms. The owner also gave current approval.", "label": "invalid", "case_id": "test-00210", "kind": "conjunction"} {"family": "test/condition-5", "decision": "Sign the lease only if the landlord accepts the terms and the owner gives approval.", "evidence": "The landlord declined these terms. The owner withdrew approval.", "label": "invalid", "case_id": "test-00211", "kind": "conjunction"} {"family": "test/condition-5", "decision": "Sign the lease only if the landlord accepts the terms and the owner gives approval.", "evidence": "The landlord declined these terms. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00212", "kind": "conjunction"} {"family": "test/condition-5", "decision": "Sign the lease only if the landlord accepts the terms and the owner gives approval.", "evidence": "The landlord is still considering the terms. The owner also gave current approval.", "label": "unknown", "case_id": "test-00213", "kind": "conjunction"} {"family": "test/condition-5", "decision": "Sign the lease only if the landlord accepts the terms and the owner gives approval.", "evidence": "The landlord is still considering the terms. The owner withdrew approval.", "label": "invalid", "case_id": "test-00214", "kind": "conjunction"} {"family": "test/condition-5", "decision": "Sign the lease only if the landlord accepts the terms and the owner gives approval.", "evidence": "The landlord is still considering the terms. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00215", "kind": "conjunction"} {"family": "test/condition-5", "decision": "The prerequisite for our decision to sign the lease is that the landlord accepts the terms.", "evidence": "The landlord accepted these terms.", "label": "valid", "case_id": "test-00198", "kind": "prerequisite"} {"family": "test/condition-5", "decision": "The prerequisite for our decision to sign the lease is that the landlord accepts the terms.", "evidence": "The landlord accepted these terms. An unrelated order was cancelled.", "label": "valid", "case_id": "test-00199", "kind": "distractor"} {"family": "test/condition-5", "decision": "The prerequisite for our decision to sign the lease is that the landlord accepts the terms.", "evidence": "An unverified rumour claims: The landlord accepted these terms. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00200", "kind": "uncertain_source"} {"family": "test/condition-5", "decision": "The prerequisite for our decision to sign the lease is that the landlord accepts the terms.", "evidence": "The landlord declined these terms.", "label": "invalid", "case_id": "test-00201", "kind": "prerequisite"} {"family": "test/condition-5", "decision": "The prerequisite for our decision to sign the lease is that the landlord accepts the terms.", "evidence": "An unrelated order was cancelled. The landlord declined these terms.", "label": "invalid", "case_id": "test-00202", "kind": "distractor"} {"family": "test/condition-5", "decision": "The prerequisite for our decision to sign the lease is that the landlord accepts the terms.", "evidence": "An unverified rumour claims: The landlord declined these terms. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00203", "kind": "uncertain_source"} {"family": "test/condition-5", "decision": "The prerequisite for our decision to sign the lease is that the landlord accepts the terms.", "evidence": "The landlord is still considering the terms.", "label": "unknown", "case_id": "test-00204", "kind": "prerequisite"} {"family": "test/condition-5", "decision": "The prerequisite for our decision to sign the lease is that the landlord accepts the terms.", "evidence": "Another team's request was approved. The landlord is still considering the terms.", "label": "unknown", "case_id": "test-00205", "kind": "distractor"} {"family": "test/condition-5", "decision": "The prerequisite for our decision to sign the lease is that the landlord accepts the terms.", "evidence": "An unverified rumour claims: The landlord is still considering the terms. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00206", "kind": "uncertain_source"} {"family": "test/condition-6", "decision": "We will admit the shipment only as long as the seal is intact.", "evidence": "The shipment seal is intact.", "label": "valid", "case_id": "test-00216", "kind": "prerequisite"} {"family": "test/condition-6", "decision": "We will admit the shipment only as long as the seal is intact.", "evidence": "The shipment seal is intact. Another team's request was approved.", "label": "valid", "case_id": "test-00217", "kind": "distractor"} {"family": "test/condition-6", "decision": "We will admit the shipment only as long as the seal is intact.", "evidence": "An unverified rumour claims: The shipment seal is intact. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00218", "kind": "uncertain_source"} {"family": "test/condition-6", "decision": "We will admit the shipment only as long as the seal is intact.", "evidence": "The shipment seal is broken.", "label": "invalid", "case_id": "test-00219", "kind": "prerequisite"} {"family": "test/condition-6", "decision": "We will admit the shipment only as long as the seal is intact.", "evidence": "A separate project failed its tests. The shipment seal is broken.", "label": "invalid", "case_id": "test-00220", "kind": "distractor"} {"family": "test/condition-6", "decision": "We will admit the shipment only as long as the seal is intact.", "evidence": "An unverified rumour claims: The shipment seal is broken. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00221", "kind": "uncertain_source"} {"family": "test/condition-6", "decision": "We will admit the shipment only as long as the seal is intact.", "evidence": "The seal has not been inspected.", "label": "unknown", "case_id": "test-00222", "kind": "prerequisite"} {"family": "test/condition-6", "decision": "We will admit the shipment only as long as the seal is intact.", "evidence": "The seal has not been inspected. A separate project failed its tests.", "label": "unknown", "case_id": "test-00223", "kind": "distractor"} {"family": "test/condition-6", "decision": "We will admit the shipment only as long as the seal is intact.", "evidence": "An unverified rumour claims: The seal has not been inspected. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00224", "kind": "uncertain_source"} {"family": "test/condition-6", "decision": "Admit the shipment only if the seal is intact and the owner gives approval.", "evidence": "The shipment seal is intact. The owner also gave current approval.", "label": "valid", "case_id": "test-00243", "kind": "conjunction"} {"family": "test/condition-6", "decision": "Admit the shipment only if the seal is intact and the owner gives approval.", "evidence": "The shipment seal is intact. The owner withdrew approval.", "label": "invalid", "case_id": "test-00244", "kind": "conjunction"} {"family": "test/condition-6", "decision": "Admit the shipment only if the seal is intact and the owner gives approval.", "evidence": "The shipment seal is intact. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00245", "kind": "conjunction"} {"family": "test/condition-6", "decision": "Admit the shipment only if the seal is intact and the owner gives approval.", "evidence": "The shipment seal is broken. The owner also gave current approval.", "label": "invalid", "case_id": "test-00246", "kind": "conjunction"} {"family": "test/condition-6", "decision": "Admit the shipment only if the seal is intact and the owner gives approval.", "evidence": "The shipment seal is broken. The owner withdrew approval.", "label": "invalid", "case_id": "test-00247", "kind": "conjunction"} {"family": "test/condition-6", "decision": "Admit the shipment only if the seal is intact and the owner gives approval.", "evidence": "The shipment seal is broken. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00248", "kind": "conjunction"} {"family": "test/condition-6", "decision": "Admit the shipment only if the seal is intact and the owner gives approval.", "evidence": "The seal has not been inspected. The owner also gave current approval.", "label": "unknown", "case_id": "test-00249", "kind": "conjunction"} {"family": "test/condition-6", "decision": "Admit the shipment only if the seal is intact and the owner gives approval.", "evidence": "The seal has not been inspected. The owner withdrew approval.", "label": "invalid", "case_id": "test-00250", "kind": "conjunction"} {"family": "test/condition-6", "decision": "Admit the shipment only if the seal is intact and the owner gives approval.", "evidence": "The seal has not been inspected. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00251", "kind": "conjunction"} {"family": "test/condition-6", "decision": "The prerequisite for our decision to admit the shipment is that the seal is intact.", "evidence": "The shipment seal is intact.", "label": "valid", "case_id": "test-00234", "kind": "prerequisite"} {"family": "test/condition-6", "decision": "The prerequisite for our decision to admit the shipment is that the seal is intact.", "evidence": "The shipment seal is intact. A separate project failed its tests.", "label": "valid", "case_id": "test-00235", "kind": "distractor"} {"family": "test/condition-6", "decision": "The prerequisite for our decision to admit the shipment is that the seal is intact.", "evidence": "An unverified rumour claims: The shipment seal is intact. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00236", "kind": "uncertain_source"} {"family": "test/condition-6", "decision": "The prerequisite for our decision to admit the shipment is that the seal is intact.", "evidence": "The shipment seal is broken.", "label": "invalid", "case_id": "test-00237", "kind": "prerequisite"} {"family": "test/condition-6", "decision": "The prerequisite for our decision to admit the shipment is that the seal is intact.", "evidence": "An unrelated order was cancelled. The shipment seal is broken.", "label": "invalid", "case_id": "test-00238", "kind": "distractor"} {"family": "test/condition-6", "decision": "The prerequisite for our decision to admit the shipment is that the seal is intact.", "evidence": "An unverified rumour claims: The shipment seal is broken. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00239", "kind": "uncertain_source"} {"family": "test/condition-6", "decision": "The prerequisite for our decision to admit the shipment is that the seal is intact.", "evidence": "The seal has not been inspected.", "label": "unknown", "case_id": "test-00240", "kind": "prerequisite"} {"family": "test/condition-6", "decision": "The prerequisite for our decision to admit the shipment is that the seal is intact.", "evidence": "An unrelated order was cancelled. The seal has not been inspected.", "label": "unknown", "case_id": "test-00241", "kind": "distractor"} {"family": "test/condition-6", "decision": "The prerequisite for our decision to admit the shipment is that the seal is intact.", "evidence": "An unverified rumour claims: The seal has not been inspected. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00242", "kind": "uncertain_source"} {"family": "test/condition-7", "decision": "We will activate the relay only as long as the circuit test passes.", "evidence": "The circuit passed the test.", "label": "valid", "case_id": "test-00252", "kind": "prerequisite"} {"family": "test/condition-7", "decision": "We will activate the relay only as long as the circuit test passes.", "evidence": "An unrelated order was cancelled. The circuit passed the test.", "label": "valid", "case_id": "test-00253", "kind": "distractor"} {"family": "test/condition-7", "decision": "We will activate the relay only as long as the circuit test passes.", "evidence": "An unverified rumour claims: The circuit passed the test. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00254", "kind": "uncertain_source"} {"family": "test/condition-7", "decision": "We will activate the relay only as long as the circuit test passes.", "evidence": "The circuit failed the test.", "label": "invalid", "case_id": "test-00255", "kind": "prerequisite"} {"family": "test/condition-7", "decision": "We will activate the relay only as long as the circuit test passes.", "evidence": "The circuit failed the test. A separate project failed its tests.", "label": "invalid", "case_id": "test-00256", "kind": "distractor"} {"family": "test/condition-7", "decision": "We will activate the relay only as long as the circuit test passes.", "evidence": "An unverified rumour claims: The circuit failed the test. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00257", "kind": "uncertain_source"} {"family": "test/condition-7", "decision": "We will activate the relay only as long as the circuit test passes.", "evidence": "The circuit test is ongoing.", "label": "unknown", "case_id": "test-00258", "kind": "prerequisite"} {"family": "test/condition-7", "decision": "We will activate the relay only as long as the circuit test passes.", "evidence": "An unrelated order was cancelled. The circuit test is ongoing.", "label": "unknown", "case_id": "test-00259", "kind": "distractor"} {"family": "test/condition-7", "decision": "We will activate the relay only as long as the circuit test passes.", "evidence": "An unverified rumour claims: The circuit test is ongoing. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00260", "kind": "uncertain_source"} {"family": "test/condition-7", "decision": "Activate the relay only if the circuit test passes and the owner gives approval.", "evidence": "The circuit passed the test. The owner also gave current approval.", "label": "valid", "case_id": "test-00279", "kind": "conjunction"} {"family": "test/condition-7", "decision": "Activate the relay only if the circuit test passes and the owner gives approval.", "evidence": "The circuit passed the test. The owner withdrew approval.", "label": "invalid", "case_id": "test-00280", "kind": "conjunction"} {"family": "test/condition-7", "decision": "Activate the relay only if the circuit test passes and the owner gives approval.", "evidence": "The circuit passed the test. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00281", "kind": "conjunction"} {"family": "test/condition-7", "decision": "Activate the relay only if the circuit test passes and the owner gives approval.", "evidence": "The circuit failed the test. The owner also gave current approval.", "label": "invalid", "case_id": "test-00282", "kind": "conjunction"} {"family": "test/condition-7", "decision": "Activate the relay only if the circuit test passes and the owner gives approval.", "evidence": "The circuit failed the test. The owner withdrew approval.", "label": "invalid", "case_id": "test-00283", "kind": "conjunction"} {"family": "test/condition-7", "decision": "Activate the relay only if the circuit test passes and the owner gives approval.", "evidence": "The circuit failed the test. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00284", "kind": "conjunction"} {"family": "test/condition-7", "decision": "Activate the relay only if the circuit test passes and the owner gives approval.", "evidence": "The circuit test is ongoing. The owner also gave current approval.", "label": "unknown", "case_id": "test-00285", "kind": "conjunction"} {"family": "test/condition-7", "decision": "Activate the relay only if the circuit test passes and the owner gives approval.", "evidence": "The circuit test is ongoing. The owner withdrew approval.", "label": "invalid", "case_id": "test-00286", "kind": "conjunction"} {"family": "test/condition-7", "decision": "Activate the relay only if the circuit test passes and the owner gives approval.", "evidence": "The circuit test is ongoing. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00287", "kind": "conjunction"} {"family": "test/condition-7", "decision": "The prerequisite for our decision to activate the relay is that the circuit test passes.", "evidence": "The circuit passed the test.", "label": "valid", "case_id": "test-00270", "kind": "prerequisite"} {"family": "test/condition-7", "decision": "The prerequisite for our decision to activate the relay is that the circuit test passes.", "evidence": "Another team's request was approved. The circuit passed the test.", "label": "valid", "case_id": "test-00271", "kind": "distractor"} {"family": "test/condition-7", "decision": "The prerequisite for our decision to activate the relay is that the circuit test passes.", "evidence": "An unverified rumour claims: The circuit passed the test. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00272", "kind": "uncertain_source"} {"family": "test/condition-7", "decision": "The prerequisite for our decision to activate the relay is that the circuit test passes.", "evidence": "The circuit failed the test.", "label": "invalid", "case_id": "test-00273", "kind": "prerequisite"} {"family": "test/condition-7", "decision": "The prerequisite for our decision to activate the relay is that the circuit test passes.", "evidence": "Another team's request was approved. The circuit failed the test.", "label": "invalid", "case_id": "test-00274", "kind": "distractor"} {"family": "test/condition-7", "decision": "The prerequisite for our decision to activate the relay is that the circuit test passes.", "evidence": "An unverified rumour claims: The circuit failed the test. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00275", "kind": "uncertain_source"} {"family": "test/condition-7", "decision": "The prerequisite for our decision to activate the relay is that the circuit test passes.", "evidence": "The circuit test is ongoing.", "label": "unknown", "case_id": "test-00276", "kind": "prerequisite"} {"family": "test/condition-7", "decision": "The prerequisite for our decision to activate the relay is that the circuit test passes.", "evidence": "The circuit test is ongoing. Another team's request was approved.", "label": "unknown", "case_id": "test-00277", "kind": "distractor"} {"family": "test/condition-7", "decision": "The prerequisite for our decision to activate the relay is that the circuit test passes.", "evidence": "An unverified rumour claims: The circuit test is ongoing. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00278", "kind": "uncertain_source"} {"family": "test/condition-8", "decision": "We will complete the registration only as long as the supervisor agrees.", "evidence": "The supervisor gave consent.", "label": "valid", "case_id": "test-00288", "kind": "prerequisite"} {"family": "test/condition-8", "decision": "We will complete the registration only as long as the supervisor agrees.", "evidence": "The supervisor gave consent. An unrelated order was cancelled.", "label": "valid", "case_id": "test-00289", "kind": "distractor"} {"family": "test/condition-8", "decision": "We will complete the registration only as long as the supervisor agrees.", "evidence": "An unverified rumour claims: The supervisor gave consent. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00290", "kind": "uncertain_source"} {"family": "test/condition-8", "decision": "We will complete the registration only as long as the supervisor agrees.", "evidence": "The supervisor refused consent.", "label": "invalid", "case_id": "test-00291", "kind": "prerequisite"} {"family": "test/condition-8", "decision": "We will complete the registration only as long as the supervisor agrees.", "evidence": "The supervisor refused consent. A separate project failed its tests.", "label": "invalid", "case_id": "test-00292", "kind": "distractor"} {"family": "test/condition-8", "decision": "We will complete the registration only as long as the supervisor agrees.", "evidence": "An unverified rumour claims: The supervisor refused consent. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00293", "kind": "uncertain_source"} {"family": "test/condition-8", "decision": "We will complete the registration only as long as the supervisor agrees.", "evidence": "The supervisor's consent is not yet established.", "label": "unknown", "case_id": "test-00294", "kind": "prerequisite"} {"family": "test/condition-8", "decision": "We will complete the registration only as long as the supervisor agrees.", "evidence": "Another team's request was approved. The supervisor's consent is not yet established.", "label": "unknown", "case_id": "test-00295", "kind": "distractor"} {"family": "test/condition-8", "decision": "We will complete the registration only as long as the supervisor agrees.", "evidence": "An unverified rumour claims: The supervisor's consent is not yet established. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00296", "kind": "uncertain_source"} {"family": "test/condition-8", "decision": "Complete the registration only if the supervisor agrees and the owner gives approval.", "evidence": "The supervisor gave consent. The owner also gave current approval.", "label": "valid", "case_id": "test-00315", "kind": "conjunction"} {"family": "test/condition-8", "decision": "Complete the registration only if the supervisor agrees and the owner gives approval.", "evidence": "The supervisor gave consent. The owner withdrew approval.", "label": "invalid", "case_id": "test-00316", "kind": "conjunction"} {"family": "test/condition-8", "decision": "Complete the registration only if the supervisor agrees and the owner gives approval.", "evidence": "The supervisor gave consent. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00317", "kind": "conjunction"} {"family": "test/condition-8", "decision": "Complete the registration only if the supervisor agrees and the owner gives approval.", "evidence": "The supervisor refused consent. The owner also gave current approval.", "label": "invalid", "case_id": "test-00318", "kind": "conjunction"} {"family": "test/condition-8", "decision": "Complete the registration only if the supervisor agrees and the owner gives approval.", "evidence": "The supervisor refused consent. The owner withdrew approval.", "label": "invalid", "case_id": "test-00319", "kind": "conjunction"} {"family": "test/condition-8", "decision": "Complete the registration only if the supervisor agrees and the owner gives approval.", "evidence": "The supervisor refused consent. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00320", "kind": "conjunction"} {"family": "test/condition-8", "decision": "Complete the registration only if the supervisor agrees and the owner gives approval.", "evidence": "The supervisor's consent is not yet established. The owner also gave current approval.", "label": "unknown", "case_id": "test-00321", "kind": "conjunction"} {"family": "test/condition-8", "decision": "Complete the registration only if the supervisor agrees and the owner gives approval.", "evidence": "The supervisor's consent is not yet established. The owner withdrew approval.", "label": "invalid", "case_id": "test-00322", "kind": "conjunction"} {"family": "test/condition-8", "decision": "Complete the registration only if the supervisor agrees and the owner gives approval.", "evidence": "The supervisor's consent is not yet established. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00323", "kind": "conjunction"} {"family": "test/condition-8", "decision": "The prerequisite for our decision to complete the registration is that the supervisor agrees.", "evidence": "The supervisor gave consent.", "label": "valid", "case_id": "test-00306", "kind": "prerequisite"} {"family": "test/condition-8", "decision": "The prerequisite for our decision to complete the registration is that the supervisor agrees.", "evidence": "An unrelated order was cancelled. The supervisor gave consent.", "label": "valid", "case_id": "test-00307", "kind": "distractor"} {"family": "test/condition-8", "decision": "The prerequisite for our decision to complete the registration is that the supervisor agrees.", "evidence": "An unverified rumour claims: The supervisor gave consent. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00308", "kind": "uncertain_source"} {"family": "test/condition-8", "decision": "The prerequisite for our decision to complete the registration is that the supervisor agrees.", "evidence": "The supervisor refused consent.", "label": "invalid", "case_id": "test-00309", "kind": "prerequisite"} {"family": "test/condition-8", "decision": "The prerequisite for our decision to complete the registration is that the supervisor agrees.", "evidence": "The supervisor refused consent. An unrelated order was cancelled.", "label": "invalid", "case_id": "test-00310", "kind": "distractor"} {"family": "test/condition-8", "decision": "The prerequisite for our decision to complete the registration is that the supervisor agrees.", "evidence": "An unverified rumour claims: The supervisor refused consent. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00311", "kind": "uncertain_source"} {"family": "test/condition-8", "decision": "The prerequisite for our decision to complete the registration is that the supervisor agrees.", "evidence": "The supervisor's consent is not yet established.", "label": "unknown", "case_id": "test-00312", "kind": "prerequisite"} {"family": "test/condition-8", "decision": "The prerequisite for our decision to complete the registration is that the supervisor agrees.", "evidence": "A separate project failed its tests. The supervisor's consent is not yet established.", "label": "unknown", "case_id": "test-00313", "kind": "distractor"} {"family": "test/condition-8", "decision": "The prerequisite for our decision to complete the registration is that the supervisor agrees.", "evidence": "An unverified rumour claims: The supervisor's consent is not yet established. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00314", "kind": "uncertain_source"} {"family": "test/condition-9", "decision": "We will operate the telescope only as long as the enclosure is open.", "evidence": "The enclosure has been opened.", "label": "valid", "case_id": "test-00324", "kind": "prerequisite"} {"family": "test/condition-9", "decision": "We will operate the telescope only as long as the enclosure is open.", "evidence": "Another team's request was approved. The enclosure has been opened.", "label": "valid", "case_id": "test-00325", "kind": "distractor"} {"family": "test/condition-9", "decision": "We will operate the telescope only as long as the enclosure is open.", "evidence": "An unverified rumour claims: The enclosure has been opened. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00326", "kind": "uncertain_source"} {"family": "test/condition-9", "decision": "We will operate the telescope only as long as the enclosure is open.", "evidence": "The enclosure remains closed.", "label": "invalid", "case_id": "test-00327", "kind": "prerequisite"} {"family": "test/condition-9", "decision": "We will operate the telescope only as long as the enclosure is open.", "evidence": "The enclosure remains closed. Another team's request was approved.", "label": "invalid", "case_id": "test-00328", "kind": "distractor"} {"family": "test/condition-9", "decision": "We will operate the telescope only as long as the enclosure is open.", "evidence": "An unverified rumour claims: The enclosure remains closed. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00329", "kind": "uncertain_source"} {"family": "test/condition-9", "decision": "We will operate the telescope only as long as the enclosure is open.", "evidence": "The enclosure status is unavailable.", "label": "unknown", "case_id": "test-00330", "kind": "prerequisite"} {"family": "test/condition-9", "decision": "We will operate the telescope only as long as the enclosure is open.", "evidence": "The enclosure status is unavailable. A separate project failed its tests.", "label": "unknown", "case_id": "test-00331", "kind": "distractor"} {"family": "test/condition-9", "decision": "We will operate the telescope only as long as the enclosure is open.", "evidence": "An unverified rumour claims: The enclosure status is unavailable. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00332", "kind": "uncertain_source"} {"family": "test/condition-9", "decision": "Operate the telescope only if the enclosure is open and the owner gives approval.", "evidence": "The enclosure has been opened. The owner also gave current approval.", "label": "valid", "case_id": "test-00351", "kind": "conjunction"} {"family": "test/condition-9", "decision": "Operate the telescope only if the enclosure is open and the owner gives approval.", "evidence": "The enclosure has been opened. The owner withdrew approval.", "label": "invalid", "case_id": "test-00352", "kind": "conjunction"} {"family": "test/condition-9", "decision": "Operate the telescope only if the enclosure is open and the owner gives approval.", "evidence": "The enclosure has been opened. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00353", "kind": "conjunction"} {"family": "test/condition-9", "decision": "Operate the telescope only if the enclosure is open and the owner gives approval.", "evidence": "The enclosure remains closed. The owner also gave current approval.", "label": "invalid", "case_id": "test-00354", "kind": "conjunction"} {"family": "test/condition-9", "decision": "Operate the telescope only if the enclosure is open and the owner gives approval.", "evidence": "The enclosure remains closed. The owner withdrew approval.", "label": "invalid", "case_id": "test-00355", "kind": "conjunction"} {"family": "test/condition-9", "decision": "Operate the telescope only if the enclosure is open and the owner gives approval.", "evidence": "The enclosure remains closed. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00356", "kind": "conjunction"} {"family": "test/condition-9", "decision": "Operate the telescope only if the enclosure is open and the owner gives approval.", "evidence": "The enclosure status is unavailable. The owner also gave current approval.", "label": "unknown", "case_id": "test-00357", "kind": "conjunction"} {"family": "test/condition-9", "decision": "Operate the telescope only if the enclosure is open and the owner gives approval.", "evidence": "The enclosure status is unavailable. The owner withdrew approval.", "label": "invalid", "case_id": "test-00358", "kind": "conjunction"} {"family": "test/condition-9", "decision": "Operate the telescope only if the enclosure is open and the owner gives approval.", "evidence": "The enclosure status is unavailable. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00359", "kind": "conjunction"} {"family": "test/condition-9", "decision": "The prerequisite for our decision to operate the telescope is that the enclosure is open.", "evidence": "The enclosure has been opened.", "label": "valid", "case_id": "test-00342", "kind": "prerequisite"} {"family": "test/condition-9", "decision": "The prerequisite for our decision to operate the telescope is that the enclosure is open.", "evidence": "The enclosure has been opened. A separate project failed its tests.", "label": "valid", "case_id": "test-00343", "kind": "distractor"} {"family": "test/condition-9", "decision": "The prerequisite for our decision to operate the telescope is that the enclosure is open.", "evidence": "An unverified rumour claims: The enclosure has been opened. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00344", "kind": "uncertain_source"} {"family": "test/condition-9", "decision": "The prerequisite for our decision to operate the telescope is that the enclosure is open.", "evidence": "The enclosure remains closed.", "label": "invalid", "case_id": "test-00345", "kind": "prerequisite"} {"family": "test/condition-9", "decision": "The prerequisite for our decision to operate the telescope is that the enclosure is open.", "evidence": "The enclosure remains closed. A separate project failed its tests.", "label": "invalid", "case_id": "test-00346", "kind": "distractor"} {"family": "test/condition-9", "decision": "The prerequisite for our decision to operate the telescope is that the enclosure is open.", "evidence": "An unverified rumour claims: The enclosure remains closed. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00347", "kind": "uncertain_source"} {"family": "test/condition-9", "decision": "The prerequisite for our decision to operate the telescope is that the enclosure is open.", "evidence": "The enclosure status is unavailable.", "label": "unknown", "case_id": "test-00348", "kind": "prerequisite"} {"family": "test/condition-9", "decision": "The prerequisite for our decision to operate the telescope is that the enclosure is open.", "evidence": "The enclosure status is unavailable. A separate project failed its tests.", "label": "unknown", "case_id": "test-00349", "kind": "distractor"} {"family": "test/condition-9", "decision": "The prerequisite for our decision to operate the telescope is that the enclosure is open.", "evidence": "An unverified rumour claims: The enclosure status is unavailable. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00350", "kind": "uncertain_source"} {"family": "test/condition-10", "decision": "We will issue the boarding pass only as long as the passenger is checked in.", "evidence": "The passenger has checked in.", "label": "valid", "case_id": "test-00360", "kind": "prerequisite"} {"family": "test/condition-10", "decision": "We will issue the boarding pass only as long as the passenger is checked in.", "evidence": "The passenger has checked in. A separate project failed its tests.", "label": "valid", "case_id": "test-00361", "kind": "distractor"} {"family": "test/condition-10", "decision": "We will issue the boarding pass only as long as the passenger is checked in.", "evidence": "An unverified rumour claims: The passenger has checked in. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00362", "kind": "uncertain_source"} {"family": "test/condition-10", "decision": "We will issue the boarding pass only as long as the passenger is checked in.", "evidence": "The passenger's check-in was cancelled.", "label": "invalid", "case_id": "test-00363", "kind": "prerequisite"} {"family": "test/condition-10", "decision": "We will issue the boarding pass only as long as the passenger is checked in.", "evidence": "An unrelated order was cancelled. The passenger's check-in was cancelled.", "label": "invalid", "case_id": "test-00364", "kind": "distractor"} {"family": "test/condition-10", "decision": "We will issue the boarding pass only as long as the passenger is checked in.", "evidence": "An unverified rumour claims: The passenger's check-in was cancelled. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00365", "kind": "uncertain_source"} {"family": "test/condition-10", "decision": "We will issue the boarding pass only as long as the passenger is checked in.", "evidence": "Check-in status cannot be retrieved.", "label": "unknown", "case_id": "test-00366", "kind": "prerequisite"} {"family": "test/condition-10", "decision": "We will issue the boarding pass only as long as the passenger is checked in.", "evidence": "An unrelated order was cancelled. Check-in status cannot be retrieved.", "label": "unknown", "case_id": "test-00367", "kind": "distractor"} {"family": "test/condition-10", "decision": "We will issue the boarding pass only as long as the passenger is checked in.", "evidence": "An unverified rumour claims: Check-in status cannot be retrieved. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00368", "kind": "uncertain_source"} {"family": "test/condition-10", "decision": "Issue the boarding pass only if the passenger is checked in and the owner gives approval.", "evidence": "The passenger has checked in. The owner also gave current approval.", "label": "valid", "case_id": "test-00387", "kind": "conjunction"} {"family": "test/condition-10", "decision": "Issue the boarding pass only if the passenger is checked in and the owner gives approval.", "evidence": "The passenger has checked in. The owner withdrew approval.", "label": "invalid", "case_id": "test-00388", "kind": "conjunction"} {"family": "test/condition-10", "decision": "Issue the boarding pass only if the passenger is checked in and the owner gives approval.", "evidence": "The passenger has checked in. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00389", "kind": "conjunction"} {"family": "test/condition-10", "decision": "Issue the boarding pass only if the passenger is checked in and the owner gives approval.", "evidence": "The passenger's check-in was cancelled. The owner also gave current approval.", "label": "invalid", "case_id": "test-00390", "kind": "conjunction"} {"family": "test/condition-10", "decision": "Issue the boarding pass only if the passenger is checked in and the owner gives approval.", "evidence": "The passenger's check-in was cancelled. The owner withdrew approval.", "label": "invalid", "case_id": "test-00391", "kind": "conjunction"} {"family": "test/condition-10", "decision": "Issue the boarding pass only if the passenger is checked in and the owner gives approval.", "evidence": "The passenger's check-in was cancelled. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00392", "kind": "conjunction"} {"family": "test/condition-10", "decision": "Issue the boarding pass only if the passenger is checked in and the owner gives approval.", "evidence": "Check-in status cannot be retrieved. The owner also gave current approval.", "label": "unknown", "case_id": "test-00393", "kind": "conjunction"} {"family": "test/condition-10", "decision": "Issue the boarding pass only if the passenger is checked in and the owner gives approval.", "evidence": "Check-in status cannot be retrieved. The owner withdrew approval.", "label": "invalid", "case_id": "test-00394", "kind": "conjunction"} {"family": "test/condition-10", "decision": "Issue the boarding pass only if the passenger is checked in and the owner gives approval.", "evidence": "Check-in status cannot be retrieved. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00395", "kind": "conjunction"} {"family": "test/condition-10", "decision": "The prerequisite for our decision to issue the boarding pass is that the passenger is checked in.", "evidence": "The passenger has checked in.", "label": "valid", "case_id": "test-00378", "kind": "prerequisite"} {"family": "test/condition-10", "decision": "The prerequisite for our decision to issue the boarding pass is that the passenger is checked in.", "evidence": "A separate project failed its tests. The passenger has checked in.", "label": "valid", "case_id": "test-00379", "kind": "distractor"} {"family": "test/condition-10", "decision": "The prerequisite for our decision to issue the boarding pass is that the passenger is checked in.", "evidence": "An unverified rumour claims: The passenger has checked in. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00380", "kind": "uncertain_source"} {"family": "test/condition-10", "decision": "The prerequisite for our decision to issue the boarding pass is that the passenger is checked in.", "evidence": "The passenger's check-in was cancelled.", "label": "invalid", "case_id": "test-00381", "kind": "prerequisite"} {"family": "test/condition-10", "decision": "The prerequisite for our decision to issue the boarding pass is that the passenger is checked in.", "evidence": "The passenger's check-in was cancelled. A separate project failed its tests.", "label": "invalid", "case_id": "test-00382", "kind": "distractor"} {"family": "test/condition-10", "decision": "The prerequisite for our decision to issue the boarding pass is that the passenger is checked in.", "evidence": "An unverified rumour claims: The passenger's check-in was cancelled. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00383", "kind": "uncertain_source"} {"family": "test/condition-10", "decision": "The prerequisite for our decision to issue the boarding pass is that the passenger is checked in.", "evidence": "Check-in status cannot be retrieved.", "label": "unknown", "case_id": "test-00384", "kind": "prerequisite"} {"family": "test/condition-10", "decision": "The prerequisite for our decision to issue the boarding pass is that the passenger is checked in.", "evidence": "Another team's request was approved. Check-in status cannot be retrieved.", "label": "unknown", "case_id": "test-00385", "kind": "distractor"} {"family": "test/condition-10", "decision": "The prerequisite for our decision to issue the boarding pass is that the passenger is checked in.", "evidence": "An unverified rumour claims: Check-in status cannot be retrieved. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00386", "kind": "uncertain_source"} {"family": "test/condition-11", "decision": "We will release the podcast only as long as the guest consents to release.", "evidence": "The guest consented to release.", "label": "valid", "case_id": "test-00396", "kind": "prerequisite"} {"family": "test/condition-11", "decision": "We will release the podcast only as long as the guest consents to release.", "evidence": "A separate project failed its tests. The guest consented to release.", "label": "valid", "case_id": "test-00397", "kind": "distractor"} {"family": "test/condition-11", "decision": "We will release the podcast only as long as the guest consents to release.", "evidence": "An unverified rumour claims: The guest consented to release. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00398", "kind": "uncertain_source"} {"family": "test/condition-11", "decision": "We will release the podcast only as long as the guest consents to release.", "evidence": "The guest withdrew consent to release.", "label": "invalid", "case_id": "test-00399", "kind": "prerequisite"} {"family": "test/condition-11", "decision": "We will release the podcast only as long as the guest consents to release.", "evidence": "Another team's request was approved. The guest withdrew consent to release.", "label": "invalid", "case_id": "test-00400", "kind": "distractor"} {"family": "test/condition-11", "decision": "We will release the podcast only as long as the guest consents to release.", "evidence": "An unverified rumour claims: The guest withdrew consent to release. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00401", "kind": "uncertain_source"} {"family": "test/condition-11", "decision": "We will release the podcast only as long as the guest consents to release.", "evidence": "The guest has not given a final answer.", "label": "unknown", "case_id": "test-00402", "kind": "prerequisite"} {"family": "test/condition-11", "decision": "We will release the podcast only as long as the guest consents to release.", "evidence": "The guest has not given a final answer. An unrelated order was cancelled.", "label": "unknown", "case_id": "test-00403", "kind": "distractor"} {"family": "test/condition-11", "decision": "We will release the podcast only as long as the guest consents to release.", "evidence": "An unverified rumour claims: The guest has not given a final answer. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00404", "kind": "uncertain_source"} {"family": "test/condition-11", "decision": "Release the podcast only if the guest consents to release and the owner gives approval.", "evidence": "The guest consented to release. The owner also gave current approval.", "label": "valid", "case_id": "test-00423", "kind": "conjunction"} {"family": "test/condition-11", "decision": "Release the podcast only if the guest consents to release and the owner gives approval.", "evidence": "The guest consented to release. The owner withdrew approval.", "label": "invalid", "case_id": "test-00424", "kind": "conjunction"} {"family": "test/condition-11", "decision": "Release the podcast only if the guest consents to release and the owner gives approval.", "evidence": "The guest consented to release. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00425", "kind": "conjunction"} {"family": "test/condition-11", "decision": "Release the podcast only if the guest consents to release and the owner gives approval.", "evidence": "The guest withdrew consent to release. The owner also gave current approval.", "label": "invalid", "case_id": "test-00426", "kind": "conjunction"} {"family": "test/condition-11", "decision": "Release the podcast only if the guest consents to release and the owner gives approval.", "evidence": "The guest withdrew consent to release. The owner withdrew approval.", "label": "invalid", "case_id": "test-00427", "kind": "conjunction"} {"family": "test/condition-11", "decision": "Release the podcast only if the guest consents to release and the owner gives approval.", "evidence": "The guest withdrew consent to release. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00428", "kind": "conjunction"} {"family": "test/condition-11", "decision": "Release the podcast only if the guest consents to release and the owner gives approval.", "evidence": "The guest has not given a final answer. The owner also gave current approval.", "label": "unknown", "case_id": "test-00429", "kind": "conjunction"} {"family": "test/condition-11", "decision": "Release the podcast only if the guest consents to release and the owner gives approval.", "evidence": "The guest has not given a final answer. The owner withdrew approval.", "label": "invalid", "case_id": "test-00430", "kind": "conjunction"} {"family": "test/condition-11", "decision": "Release the podcast only if the guest consents to release and the owner gives approval.", "evidence": "The guest has not given a final answer. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00431", "kind": "conjunction"} {"family": "test/condition-11", "decision": "The prerequisite for our decision to release the podcast is that the guest consents to release.", "evidence": "The guest consented to release.", "label": "valid", "case_id": "test-00414", "kind": "prerequisite"} {"family": "test/condition-11", "decision": "The prerequisite for our decision to release the podcast is that the guest consents to release.", "evidence": "An unrelated order was cancelled. The guest consented to release.", "label": "valid", "case_id": "test-00415", "kind": "distractor"} {"family": "test/condition-11", "decision": "The prerequisite for our decision to release the podcast is that the guest consents to release.", "evidence": "An unverified rumour claims: The guest consented to release. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00416", "kind": "uncertain_source"} {"family": "test/condition-11", "decision": "The prerequisite for our decision to release the podcast is that the guest consents to release.", "evidence": "The guest withdrew consent to release.", "label": "invalid", "case_id": "test-00417", "kind": "prerequisite"} {"family": "test/condition-11", "decision": "The prerequisite for our decision to release the podcast is that the guest consents to release.", "evidence": "An unrelated order was cancelled. The guest withdrew consent to release.", "label": "invalid", "case_id": "test-00418", "kind": "distractor"} {"family": "test/condition-11", "decision": "The prerequisite for our decision to release the podcast is that the guest consents to release.", "evidence": "An unverified rumour claims: The guest withdrew consent to release. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00419", "kind": "uncertain_source"} {"family": "test/condition-11", "decision": "The prerequisite for our decision to release the podcast is that the guest consents to release.", "evidence": "The guest has not given a final answer.", "label": "unknown", "case_id": "test-00420", "kind": "prerequisite"} {"family": "test/condition-11", "decision": "The prerequisite for our decision to release the podcast is that the guest consents to release.", "evidence": "A separate project failed its tests. The guest has not given a final answer.", "label": "unknown", "case_id": "test-00421", "kind": "distractor"} {"family": "test/condition-11", "decision": "The prerequisite for our decision to release the podcast is that the guest consents to release.", "evidence": "An unverified rumour claims: The guest has not given a final answer. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00422", "kind": "uncertain_source"} {"family": "test/condition-12", "decision": "We will operate the scanner only as long as the alignment check succeeded.", "evidence": "The alignment check succeeded.", "label": "valid", "case_id": "test-00432", "kind": "prerequisite"} {"family": "test/condition-12", "decision": "We will operate the scanner only as long as the alignment check succeeded.", "evidence": "The alignment check succeeded. A separate project failed its tests.", "label": "valid", "case_id": "test-00433", "kind": "distractor"} {"family": "test/condition-12", "decision": "We will operate the scanner only as long as the alignment check succeeded.", "evidence": "An unverified rumour claims: The alignment check succeeded. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00434", "kind": "uncertain_source"} {"family": "test/condition-12", "decision": "We will operate the scanner only as long as the alignment check succeeded.", "evidence": "The alignment check failed.", "label": "invalid", "case_id": "test-00435", "kind": "prerequisite"} {"family": "test/condition-12", "decision": "We will operate the scanner only as long as the alignment check succeeded.", "evidence": "An unrelated order was cancelled. The alignment check failed.", "label": "invalid", "case_id": "test-00436", "kind": "distractor"} {"family": "test/condition-12", "decision": "We will operate the scanner only as long as the alignment check succeeded.", "evidence": "An unverified rumour claims: The alignment check failed. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00437", "kind": "uncertain_source"} {"family": "test/condition-12", "decision": "We will operate the scanner only as long as the alignment check succeeded.", "evidence": "The alignment result is unknown.", "label": "unknown", "case_id": "test-00438", "kind": "prerequisite"} {"family": "test/condition-12", "decision": "We will operate the scanner only as long as the alignment check succeeded.", "evidence": "A separate project failed its tests. The alignment result is unknown.", "label": "unknown", "case_id": "test-00439", "kind": "distractor"} {"family": "test/condition-12", "decision": "We will operate the scanner only as long as the alignment check succeeded.", "evidence": "An unverified rumour claims: The alignment result is unknown. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00440", "kind": "uncertain_source"} {"family": "test/condition-12", "decision": "Operate the scanner only if the alignment check succeeded and the owner gives approval.", "evidence": "The alignment check succeeded. The owner also gave current approval.", "label": "valid", "case_id": "test-00459", "kind": "conjunction"} {"family": "test/condition-12", "decision": "Operate the scanner only if the alignment check succeeded and the owner gives approval.", "evidence": "The alignment check succeeded. The owner withdrew approval.", "label": "invalid", "case_id": "test-00460", "kind": "conjunction"} {"family": "test/condition-12", "decision": "Operate the scanner only if the alignment check succeeded and the owner gives approval.", "evidence": "The alignment check succeeded. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00461", "kind": "conjunction"} {"family": "test/condition-12", "decision": "Operate the scanner only if the alignment check succeeded and the owner gives approval.", "evidence": "The alignment check failed. The owner also gave current approval.", "label": "invalid", "case_id": "test-00462", "kind": "conjunction"} {"family": "test/condition-12", "decision": "Operate the scanner only if the alignment check succeeded and the owner gives approval.", "evidence": "The alignment check failed. The owner withdrew approval.", "label": "invalid", "case_id": "test-00463", "kind": "conjunction"} {"family": "test/condition-12", "decision": "Operate the scanner only if the alignment check succeeded and the owner gives approval.", "evidence": "The alignment check failed. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00464", "kind": "conjunction"} {"family": "test/condition-12", "decision": "Operate the scanner only if the alignment check succeeded and the owner gives approval.", "evidence": "The alignment result is unknown. The owner also gave current approval.", "label": "unknown", "case_id": "test-00465", "kind": "conjunction"} {"family": "test/condition-12", "decision": "Operate the scanner only if the alignment check succeeded and the owner gives approval.", "evidence": "The alignment result is unknown. The owner withdrew approval.", "label": "invalid", "case_id": "test-00466", "kind": "conjunction"} {"family": "test/condition-12", "decision": "Operate the scanner only if the alignment check succeeded and the owner gives approval.", "evidence": "The alignment result is unknown. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00467", "kind": "conjunction"} {"family": "test/condition-12", "decision": "The prerequisite for our decision to operate the scanner is that the alignment check succeeded.", "evidence": "The alignment check succeeded.", "label": "valid", "case_id": "test-00450", "kind": "prerequisite"} {"family": "test/condition-12", "decision": "The prerequisite for our decision to operate the scanner is that the alignment check succeeded.", "evidence": "A separate project failed its tests. The alignment check succeeded.", "label": "valid", "case_id": "test-00451", "kind": "distractor"} {"family": "test/condition-12", "decision": "The prerequisite for our decision to operate the scanner is that the alignment check succeeded.", "evidence": "An unverified rumour claims: The alignment check succeeded. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00452", "kind": "uncertain_source"} {"family": "test/condition-12", "decision": "The prerequisite for our decision to operate the scanner is that the alignment check succeeded.", "evidence": "The alignment check failed.", "label": "invalid", "case_id": "test-00453", "kind": "prerequisite"} {"family": "test/condition-12", "decision": "The prerequisite for our decision to operate the scanner is that the alignment check succeeded.", "evidence": "The alignment check failed. A separate project failed its tests.", "label": "invalid", "case_id": "test-00454", "kind": "distractor"} {"family": "test/condition-12", "decision": "The prerequisite for our decision to operate the scanner is that the alignment check succeeded.", "evidence": "An unverified rumour claims: The alignment check failed. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00455", "kind": "uncertain_source"} {"family": "test/condition-12", "decision": "The prerequisite for our decision to operate the scanner is that the alignment check succeeded.", "evidence": "The alignment result is unknown.", "label": "unknown", "case_id": "test-00456", "kind": "prerequisite"} {"family": "test/condition-12", "decision": "The prerequisite for our decision to operate the scanner is that the alignment check succeeded.", "evidence": "The alignment result is unknown. An unrelated order was cancelled.", "label": "unknown", "case_id": "test-00457", "kind": "distractor"} {"family": "test/condition-12", "decision": "The prerequisite for our decision to operate the scanner is that the alignment check succeeded.", "evidence": "An unverified rumour claims: The alignment result is unknown. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00458", "kind": "uncertain_source"} {"family": "test/condition-13", "decision": "We will start the match only as long as the pitch is usable.", "evidence": "The pitch is fit for use.", "label": "valid", "case_id": "test-00468", "kind": "prerequisite"} {"family": "test/condition-13", "decision": "We will start the match only as long as the pitch is usable.", "evidence": "A separate project failed its tests. The pitch is fit for use.", "label": "valid", "case_id": "test-00469", "kind": "distractor"} {"family": "test/condition-13", "decision": "We will start the match only as long as the pitch is usable.", "evidence": "An unverified rumour claims: The pitch is fit for use. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00470", "kind": "uncertain_source"} {"family": "test/condition-13", "decision": "We will start the match only as long as the pitch is usable.", "evidence": "The pitch cannot be used.", "label": "invalid", "case_id": "test-00471", "kind": "prerequisite"} {"family": "test/condition-13", "decision": "We will start the match only as long as the pitch is usable.", "evidence": "Another team's request was approved. The pitch cannot be used.", "label": "invalid", "case_id": "test-00472", "kind": "distractor"} {"family": "test/condition-13", "decision": "We will start the match only as long as the pitch is usable.", "evidence": "An unverified rumour claims: The pitch cannot be used. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00473", "kind": "uncertain_source"} {"family": "test/condition-13", "decision": "We will start the match only as long as the pitch is usable.", "evidence": "The pitch has not been assessed.", "label": "unknown", "case_id": "test-00474", "kind": "prerequisite"} {"family": "test/condition-13", "decision": "We will start the match only as long as the pitch is usable.", "evidence": "The pitch has not been assessed. A separate project failed its tests.", "label": "unknown", "case_id": "test-00475", "kind": "distractor"} {"family": "test/condition-13", "decision": "We will start the match only as long as the pitch is usable.", "evidence": "An unverified rumour claims: The pitch has not been assessed. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00476", "kind": "uncertain_source"} {"family": "test/condition-13", "decision": "Start the match only if the pitch is usable and the owner gives approval.", "evidence": "The pitch is fit for use. The owner also gave current approval.", "label": "valid", "case_id": "test-00495", "kind": "conjunction"} {"family": "test/condition-13", "decision": "Start the match only if the pitch is usable and the owner gives approval.", "evidence": "The pitch is fit for use. The owner withdrew approval.", "label": "invalid", "case_id": "test-00496", "kind": "conjunction"} {"family": "test/condition-13", "decision": "Start the match only if the pitch is usable and the owner gives approval.", "evidence": "The pitch is fit for use. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00497", "kind": "conjunction"} {"family": "test/condition-13", "decision": "Start the match only if the pitch is usable and the owner gives approval.", "evidence": "The pitch cannot be used. The owner also gave current approval.", "label": "invalid", "case_id": "test-00498", "kind": "conjunction"} {"family": "test/condition-13", "decision": "Start the match only if the pitch is usable and the owner gives approval.", "evidence": "The pitch cannot be used. The owner withdrew approval.", "label": "invalid", "case_id": "test-00499", "kind": "conjunction"} {"family": "test/condition-13", "decision": "Start the match only if the pitch is usable and the owner gives approval.", "evidence": "The pitch cannot be used. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00500", "kind": "conjunction"} {"family": "test/condition-13", "decision": "Start the match only if the pitch is usable and the owner gives approval.", "evidence": "The pitch has not been assessed. The owner also gave current approval.", "label": "unknown", "case_id": "test-00501", "kind": "conjunction"} {"family": "test/condition-13", "decision": "Start the match only if the pitch is usable and the owner gives approval.", "evidence": "The pitch has not been assessed. The owner withdrew approval.", "label": "invalid", "case_id": "test-00502", "kind": "conjunction"} {"family": "test/condition-13", "decision": "Start the match only if the pitch is usable and the owner gives approval.", "evidence": "The pitch has not been assessed. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00503", "kind": "conjunction"} {"family": "test/condition-13", "decision": "The prerequisite for our decision to start the match is that the pitch is usable.", "evidence": "The pitch is fit for use.", "label": "valid", "case_id": "test-00486", "kind": "prerequisite"} {"family": "test/condition-13", "decision": "The prerequisite for our decision to start the match is that the pitch is usable.", "evidence": "Another team's request was approved. The pitch is fit for use.", "label": "valid", "case_id": "test-00487", "kind": "distractor"} {"family": "test/condition-13", "decision": "The prerequisite for our decision to start the match is that the pitch is usable.", "evidence": "An unverified rumour claims: The pitch is fit for use. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00488", "kind": "uncertain_source"} {"family": "test/condition-13", "decision": "The prerequisite for our decision to start the match is that the pitch is usable.", "evidence": "The pitch cannot be used.", "label": "invalid", "case_id": "test-00489", "kind": "prerequisite"} {"family": "test/condition-13", "decision": "The prerequisite for our decision to start the match is that the pitch is usable.", "evidence": "Another team's request was approved. The pitch cannot be used.", "label": "invalid", "case_id": "test-00490", "kind": "distractor"} {"family": "test/condition-13", "decision": "The prerequisite for our decision to start the match is that the pitch is usable.", "evidence": "An unverified rumour claims: The pitch cannot be used. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00491", "kind": "uncertain_source"} {"family": "test/condition-13", "decision": "The prerequisite for our decision to start the match is that the pitch is usable.", "evidence": "The pitch has not been assessed.", "label": "unknown", "case_id": "test-00492", "kind": "prerequisite"} {"family": "test/condition-13", "decision": "The prerequisite for our decision to start the match is that the pitch is usable.", "evidence": "The pitch has not been assessed. An unrelated order was cancelled.", "label": "unknown", "case_id": "test-00493", "kind": "distractor"} {"family": "test/condition-13", "decision": "The prerequisite for our decision to start the match is that the pitch is usable.", "evidence": "An unverified rumour claims: The pitch has not been assessed. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00494", "kind": "uncertain_source"} {"family": "test/condition-14", "decision": "We will begin the orientation only as long as the room is prepared.", "evidence": "The room is fully prepared.", "label": "valid", "case_id": "test-00504", "kind": "prerequisite"} {"family": "test/condition-14", "decision": "We will begin the orientation only as long as the room is prepared.", "evidence": "The room is fully prepared. Another team's request was approved.", "label": "valid", "case_id": "test-00505", "kind": "distractor"} {"family": "test/condition-14", "decision": "We will begin the orientation only as long as the room is prepared.", "evidence": "An unverified rumour claims: The room is fully prepared. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00506", "kind": "uncertain_source"} {"family": "test/condition-14", "decision": "We will begin the orientation only as long as the room is prepared.", "evidence": "The room is unprepared and cannot be used.", "label": "invalid", "case_id": "test-00507", "kind": "prerequisite"} {"family": "test/condition-14", "decision": "We will begin the orientation only as long as the room is prepared.", "evidence": "The room is unprepared and cannot be used. An unrelated order was cancelled.", "label": "invalid", "case_id": "test-00508", "kind": "distractor"} {"family": "test/condition-14", "decision": "We will begin the orientation only as long as the room is prepared.", "evidence": "An unverified rumour claims: The room is unprepared and cannot be used. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00509", "kind": "uncertain_source"} {"family": "test/condition-14", "decision": "We will begin the orientation only as long as the room is prepared.", "evidence": "Nobody has reported whether the room is prepared.", "label": "unknown", "case_id": "test-00510", "kind": "prerequisite"} {"family": "test/condition-14", "decision": "We will begin the orientation only as long as the room is prepared.", "evidence": "An unrelated order was cancelled. Nobody has reported whether the room is prepared.", "label": "unknown", "case_id": "test-00511", "kind": "distractor"} {"family": "test/condition-14", "decision": "We will begin the orientation only as long as the room is prepared.", "evidence": "An unverified rumour claims: Nobody has reported whether the room is prepared. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00512", "kind": "uncertain_source"} {"family": "test/condition-14", "decision": "Begin the orientation only if the room is prepared and the owner gives approval.", "evidence": "The room is fully prepared. The owner also gave current approval.", "label": "valid", "case_id": "test-00531", "kind": "conjunction"} {"family": "test/condition-14", "decision": "Begin the orientation only if the room is prepared and the owner gives approval.", "evidence": "The room is fully prepared. The owner withdrew approval.", "label": "invalid", "case_id": "test-00532", "kind": "conjunction"} {"family": "test/condition-14", "decision": "Begin the orientation only if the room is prepared and the owner gives approval.", "evidence": "The room is fully prepared. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00533", "kind": "conjunction"} {"family": "test/condition-14", "decision": "Begin the orientation only if the room is prepared and the owner gives approval.", "evidence": "The room is unprepared and cannot be used. The owner also gave current approval.", "label": "invalid", "case_id": "test-00534", "kind": "conjunction"} {"family": "test/condition-14", "decision": "Begin the orientation only if the room is prepared and the owner gives approval.", "evidence": "The room is unprepared and cannot be used. The owner withdrew approval.", "label": "invalid", "case_id": "test-00535", "kind": "conjunction"} {"family": "test/condition-14", "decision": "Begin the orientation only if the room is prepared and the owner gives approval.", "evidence": "The room is unprepared and cannot be used. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00536", "kind": "conjunction"} {"family": "test/condition-14", "decision": "Begin the orientation only if the room is prepared and the owner gives approval.", "evidence": "Nobody has reported whether the room is prepared. The owner also gave current approval.", "label": "unknown", "case_id": "test-00537", "kind": "conjunction"} {"family": "test/condition-14", "decision": "Begin the orientation only if the room is prepared and the owner gives approval.", "evidence": "Nobody has reported whether the room is prepared. The owner withdrew approval.", "label": "invalid", "case_id": "test-00538", "kind": "conjunction"} {"family": "test/condition-14", "decision": "Begin the orientation only if the room is prepared and the owner gives approval.", "evidence": "Nobody has reported whether the room is prepared. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00539", "kind": "conjunction"} {"family": "test/condition-14", "decision": "The prerequisite for our decision to begin the orientation is that the room is prepared.", "evidence": "The room is fully prepared.", "label": "valid", "case_id": "test-00522", "kind": "prerequisite"} {"family": "test/condition-14", "decision": "The prerequisite for our decision to begin the orientation is that the room is prepared.", "evidence": "An unrelated order was cancelled. The room is fully prepared.", "label": "valid", "case_id": "test-00523", "kind": "distractor"} {"family": "test/condition-14", "decision": "The prerequisite for our decision to begin the orientation is that the room is prepared.", "evidence": "An unverified rumour claims: The room is fully prepared. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00524", "kind": "uncertain_source"} {"family": "test/condition-14", "decision": "The prerequisite for our decision to begin the orientation is that the room is prepared.", "evidence": "The room is unprepared and cannot be used.", "label": "invalid", "case_id": "test-00525", "kind": "prerequisite"} {"family": "test/condition-14", "decision": "The prerequisite for our decision to begin the orientation is that the room is prepared.", "evidence": "The room is unprepared and cannot be used. An unrelated order was cancelled.", "label": "invalid", "case_id": "test-00526", "kind": "distractor"} {"family": "test/condition-14", "decision": "The prerequisite for our decision to begin the orientation is that the room is prepared.", "evidence": "An unverified rumour claims: The room is unprepared and cannot be used. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00527", "kind": "uncertain_source"} {"family": "test/condition-14", "decision": "The prerequisite for our decision to begin the orientation is that the room is prepared.", "evidence": "Nobody has reported whether the room is prepared.", "label": "unknown", "case_id": "test-00528", "kind": "prerequisite"} {"family": "test/condition-14", "decision": "The prerequisite for our decision to begin the orientation is that the room is prepared.", "evidence": "Nobody has reported whether the room is prepared. An unrelated order was cancelled.", "label": "unknown", "case_id": "test-00529", "kind": "distractor"} {"family": "test/condition-14", "decision": "The prerequisite for our decision to begin the orientation is that the room is prepared.", "evidence": "An unverified rumour claims: Nobody has reported whether the room is prepared. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00530", "kind": "uncertain_source"} {"family": "test/condition-15", "decision": "We will apply the patch only as long as the compatibility check is positive.", "evidence": "The compatibility check is positive.", "label": "valid", "case_id": "test-00540", "kind": "prerequisite"} {"family": "test/condition-15", "decision": "We will apply the patch only as long as the compatibility check is positive.", "evidence": "The compatibility check is positive. An unrelated order was cancelled.", "label": "valid", "case_id": "test-00541", "kind": "distractor"} {"family": "test/condition-15", "decision": "We will apply the patch only as long as the compatibility check is positive.", "evidence": "An unverified rumour claims: The compatibility check is positive. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00542", "kind": "uncertain_source"} {"family": "test/condition-15", "decision": "We will apply the patch only as long as the compatibility check is positive.", "evidence": "The compatibility check is negative.", "label": "invalid", "case_id": "test-00543", "kind": "prerequisite"} {"family": "test/condition-15", "decision": "We will apply the patch only as long as the compatibility check is positive.", "evidence": "The compatibility check is negative. Another team's request was approved.", "label": "invalid", "case_id": "test-00544", "kind": "distractor"} {"family": "test/condition-15", "decision": "We will apply the patch only as long as the compatibility check is positive.", "evidence": "An unverified rumour claims: The compatibility check is negative. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00545", "kind": "uncertain_source"} {"family": "test/condition-15", "decision": "We will apply the patch only as long as the compatibility check is positive.", "evidence": "No compatibility result is available.", "label": "unknown", "case_id": "test-00546", "kind": "prerequisite"} {"family": "test/condition-15", "decision": "We will apply the patch only as long as the compatibility check is positive.", "evidence": "No compatibility result is available. A separate project failed its tests.", "label": "unknown", "case_id": "test-00547", "kind": "distractor"} {"family": "test/condition-15", "decision": "We will apply the patch only as long as the compatibility check is positive.", "evidence": "An unverified rumour claims: No compatibility result is available. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00548", "kind": "uncertain_source"} {"family": "test/condition-15", "decision": "Apply the patch only if the compatibility check is positive and the owner gives approval.", "evidence": "The compatibility check is positive. The owner also gave current approval.", "label": "valid", "case_id": "test-00567", "kind": "conjunction"} {"family": "test/condition-15", "decision": "Apply the patch only if the compatibility check is positive and the owner gives approval.", "evidence": "The compatibility check is positive. The owner withdrew approval.", "label": "invalid", "case_id": "test-00568", "kind": "conjunction"} {"family": "test/condition-15", "decision": "Apply the patch only if the compatibility check is positive and the owner gives approval.", "evidence": "The compatibility check is positive. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00569", "kind": "conjunction"} {"family": "test/condition-15", "decision": "Apply the patch only if the compatibility check is positive and the owner gives approval.", "evidence": "The compatibility check is negative. The owner also gave current approval.", "label": "invalid", "case_id": "test-00570", "kind": "conjunction"} {"family": "test/condition-15", "decision": "Apply the patch only if the compatibility check is positive and the owner gives approval.", "evidence": "The compatibility check is negative. The owner withdrew approval.", "label": "invalid", "case_id": "test-00571", "kind": "conjunction"} {"family": "test/condition-15", "decision": "Apply the patch only if the compatibility check is positive and the owner gives approval.", "evidence": "The compatibility check is negative. The owner's approval is still pending.", "label": "invalid", "case_id": "test-00572", "kind": "conjunction"} {"family": "test/condition-15", "decision": "Apply the patch only if the compatibility check is positive and the owner gives approval.", "evidence": "No compatibility result is available. The owner also gave current approval.", "label": "unknown", "case_id": "test-00573", "kind": "conjunction"} {"family": "test/condition-15", "decision": "Apply the patch only if the compatibility check is positive and the owner gives approval.", "evidence": "No compatibility result is available. The owner withdrew approval.", "label": "invalid", "case_id": "test-00574", "kind": "conjunction"} {"family": "test/condition-15", "decision": "Apply the patch only if the compatibility check is positive and the owner gives approval.", "evidence": "No compatibility result is available. The owner's approval is still pending.", "label": "unknown", "case_id": "test-00575", "kind": "conjunction"} {"family": "test/condition-15", "decision": "The prerequisite for our decision to apply the patch is that the compatibility check is positive.", "evidence": "The compatibility check is positive.", "label": "valid", "case_id": "test-00558", "kind": "prerequisite"} {"family": "test/condition-15", "decision": "The prerequisite for our decision to apply the patch is that the compatibility check is positive.", "evidence": "A separate project failed its tests. The compatibility check is positive.", "label": "valid", "case_id": "test-00559", "kind": "distractor"} {"family": "test/condition-15", "decision": "The prerequisite for our decision to apply the patch is that the compatibility check is positive.", "evidence": "An unverified rumour claims: The compatibility check is positive. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00560", "kind": "uncertain_source"} {"family": "test/condition-15", "decision": "The prerequisite for our decision to apply the patch is that the compatibility check is positive.", "evidence": "The compatibility check is negative.", "label": "invalid", "case_id": "test-00561", "kind": "prerequisite"} {"family": "test/condition-15", "decision": "The prerequisite for our decision to apply the patch is that the compatibility check is positive.", "evidence": "The compatibility check is negative. Another team's request was approved.", "label": "invalid", "case_id": "test-00562", "kind": "distractor"} {"family": "test/condition-15", "decision": "The prerequisite for our decision to apply the patch is that the compatibility check is positive.", "evidence": "An unverified rumour claims: The compatibility check is negative. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00563", "kind": "uncertain_source"} {"family": "test/condition-15", "decision": "The prerequisite for our decision to apply the patch is that the compatibility check is positive.", "evidence": "No compatibility result is available.", "label": "unknown", "case_id": "test-00564", "kind": "prerequisite"} {"family": "test/condition-15", "decision": "The prerequisite for our decision to apply the patch is that the compatibility check is positive.", "evidence": "Another team's request was approved. No compatibility result is available.", "label": "unknown", "case_id": "test-00565", "kind": "distractor"} {"family": "test/condition-15", "decision": "The prerequisite for our decision to apply the patch is that the compatibility check is positive.", "evidence": "An unverified rumour claims: No compatibility result is available. No reliable confirmation is available.", "label": "unknown", "case_id": "test-00566", "kind": "uncertain_source"} {"family": "test/entity-Raven", "decision": "Use Raven only if Raven is writable.", "evidence": "Raven is writable. Spruce is read-only.", "label": "valid", "case_id": "test-00576", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Use Raven only if Raven is writable.", "evidence": "Spruce is read-only. Raven is writable.", "label": "valid", "case_id": "test-00577", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Use Raven only if Raven is writable.", "evidence": "Raven is read-only. Spruce is writable.", "label": "invalid", "case_id": "test-00578", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Use Raven only if Raven is writable.", "evidence": "Spruce is writable. Raven is read-only.", "label": "invalid", "case_id": "test-00579", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Use Raven only if Raven is writable.", "evidence": "Raven has not been checked. Spruce is writable.", "label": "unknown", "case_id": "test-00580", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Use Raven only if Raven is writable.", "evidence": "Spruce is writable. Raven has not been checked.", "label": "unknown", "case_id": "test-00581", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Start Raven only if Raven is ready.", "evidence": "Raven is ready. Spruce is not ready.", "label": "valid", "case_id": "test-00582", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Start Raven only if Raven is ready.", "evidence": "Spruce is not ready. Raven is ready.", "label": "valid", "case_id": "test-00583", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Start Raven only if Raven is ready.", "evidence": "Raven is not ready. Spruce is ready.", "label": "invalid", "case_id": "test-00584", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Start Raven only if Raven is ready.", "evidence": "Spruce is ready. Raven is not ready.", "label": "invalid", "case_id": "test-00585", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Start Raven only if Raven is ready.", "evidence": "Raven has not been checked. Spruce is ready.", "label": "unknown", "case_id": "test-00586", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Start Raven only if Raven is ready.", "evidence": "Spruce is ready. Raven has not been checked.", "label": "unknown", "case_id": "test-00587", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Publish Raven only if Raven is approved.", "evidence": "Raven is approved. Spruce is rejected.", "label": "valid", "case_id": "test-00588", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Publish Raven only if Raven is approved.", "evidence": "Spruce is rejected. Raven is approved.", "label": "valid", "case_id": "test-00589", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Publish Raven only if Raven is approved.", "evidence": "Raven is rejected. Spruce is approved.", "label": "invalid", "case_id": "test-00590", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Publish Raven only if Raven is approved.", "evidence": "Spruce is approved. Raven is rejected.", "label": "invalid", "case_id": "test-00591", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Publish Raven only if Raven is approved.", "evidence": "Raven has not been checked. Spruce is approved.", "label": "unknown", "case_id": "test-00592", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Publish Raven only if Raven is approved.", "evidence": "Spruce is approved. Raven has not been checked.", "label": "unknown", "case_id": "test-00593", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Enable Raven only if Raven is compatible.", "evidence": "Raven is compatible. Spruce is incompatible.", "label": "valid", "case_id": "test-00594", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Enable Raven only if Raven is compatible.", "evidence": "Spruce is incompatible. Raven is compatible.", "label": "valid", "case_id": "test-00595", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Enable Raven only if Raven is compatible.", "evidence": "Raven is incompatible. Spruce is compatible.", "label": "invalid", "case_id": "test-00596", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Enable Raven only if Raven is compatible.", "evidence": "Spruce is compatible. Raven is incompatible.", "label": "invalid", "case_id": "test-00597", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Enable Raven only if Raven is compatible.", "evidence": "Raven has not been checked. Spruce is compatible.", "label": "unknown", "case_id": "test-00598", "kind": "entity_scope"} {"family": "test/entity-Raven", "decision": "Enable Raven only if Raven is compatible.", "evidence": "Spruce is compatible. Raven has not been checked.", "label": "unknown", "case_id": "test-00599", "kind": "entity_scope"} {"family": "test/time-Raven", "decision": "Use Raven only if today's check succeeds.", "evidence": "Today's check of Raven succeeded. Yesterday's check of Raven failed.", "label": "valid", "case_id": "test-00600", "kind": "time_scope"} {"family": "test/time-Raven", "decision": "Use Raven only if today's check succeeds.", "evidence": "Yesterday's check of Raven failed. Today's check of Raven succeeded.", "label": "valid", "case_id": "test-00601", "kind": "time_scope"} {"family": "test/time-Raven", "decision": "Use Raven only if today's check succeeds.", "evidence": "Today's check of Raven failed. Yesterday's check of Raven succeeded.", "label": "invalid", "case_id": "test-00602", "kind": "time_scope"} {"family": "test/time-Raven", "decision": "Use Raven only if today's check succeeds.", "evidence": "Yesterday's check of Raven succeeded. Today's check of Raven failed.", "label": "invalid", "case_id": "test-00603", "kind": "time_scope"} {"family": "test/time-Raven", "decision": "Use Raven only if today's check succeeds.", "evidence": "Today's check of Raven has no result yet. Yesterday's check of Raven succeeded.", "label": "unknown", "case_id": "test-00604", "kind": "time_scope"} {"family": "test/time-Raven", "decision": "Use Raven only if today's check succeeds.", "evidence": "Yesterday's check of Raven succeeded. Today's check of Raven has no result yet.", "label": "unknown", "case_id": "test-00605", "kind": "time_scope"} {"family": "test/entity-Spruce", "decision": "Use Spruce only if Spruce is writable.", "evidence": "Spruce is writable. Tango is read-only.", "label": "valid", "case_id": "test-00606", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Use Spruce only if Spruce is writable.", "evidence": "Tango is read-only. Spruce is writable.", "label": "valid", "case_id": "test-00607", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Use Spruce only if Spruce is writable.", "evidence": "Spruce is read-only. Tango is writable.", "label": "invalid", "case_id": "test-00608", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Use Spruce only if Spruce is writable.", "evidence": "Tango is writable. Spruce is read-only.", "label": "invalid", "case_id": "test-00609", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Use Spruce only if Spruce is writable.", "evidence": "Spruce has not been checked. Tango is writable.", "label": "unknown", "case_id": "test-00610", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Use Spruce only if Spruce is writable.", "evidence": "Tango is writable. Spruce has not been checked.", "label": "unknown", "case_id": "test-00611", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Start Spruce only if Spruce is ready.", "evidence": "Spruce is ready. Tango is not ready.", "label": "valid", "case_id": "test-00612", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Start Spruce only if Spruce is ready.", "evidence": "Tango is not ready. Spruce is ready.", "label": "valid", "case_id": "test-00613", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Start Spruce only if Spruce is ready.", "evidence": "Spruce is not ready. Tango is ready.", "label": "invalid", "case_id": "test-00614", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Start Spruce only if Spruce is ready.", "evidence": "Tango is ready. Spruce is not ready.", "label": "invalid", "case_id": "test-00615", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Start Spruce only if Spruce is ready.", "evidence": "Spruce has not been checked. Tango is ready.", "label": "unknown", "case_id": "test-00616", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Start Spruce only if Spruce is ready.", "evidence": "Tango is ready. Spruce has not been checked.", "label": "unknown", "case_id": "test-00617", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Publish Spruce only if Spruce is approved.", "evidence": "Spruce is approved. Tango is rejected.", "label": "valid", "case_id": "test-00618", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Publish Spruce only if Spruce is approved.", "evidence": "Tango is rejected. Spruce is approved.", "label": "valid", "case_id": "test-00619", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Publish Spruce only if Spruce is approved.", "evidence": "Spruce is rejected. Tango is approved.", "label": "invalid", "case_id": "test-00620", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Publish Spruce only if Spruce is approved.", "evidence": "Tango is approved. Spruce is rejected.", "label": "invalid", "case_id": "test-00621", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Publish Spruce only if Spruce is approved.", "evidence": "Spruce has not been checked. Tango is approved.", "label": "unknown", "case_id": "test-00622", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Publish Spruce only if Spruce is approved.", "evidence": "Tango is approved. Spruce has not been checked.", "label": "unknown", "case_id": "test-00623", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Enable Spruce only if Spruce is compatible.", "evidence": "Spruce is compatible. Tango is incompatible.", "label": "valid", "case_id": "test-00624", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Enable Spruce only if Spruce is compatible.", "evidence": "Tango is incompatible. Spruce is compatible.", "label": "valid", "case_id": "test-00625", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Enable Spruce only if Spruce is compatible.", "evidence": "Spruce is incompatible. Tango is compatible.", "label": "invalid", "case_id": "test-00626", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Enable Spruce only if Spruce is compatible.", "evidence": "Tango is compatible. Spruce is incompatible.", "label": "invalid", "case_id": "test-00627", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Enable Spruce only if Spruce is compatible.", "evidence": "Spruce has not been checked. Tango is compatible.", "label": "unknown", "case_id": "test-00628", "kind": "entity_scope"} {"family": "test/entity-Spruce", "decision": "Enable Spruce only if Spruce is compatible.", "evidence": "Tango is compatible. Spruce has not been checked.", "label": "unknown", "case_id": "test-00629", "kind": "entity_scope"} {"family": "test/time-Spruce", "decision": "Use Spruce only if today's check succeeds.", "evidence": "Today's check of Spruce succeeded. Yesterday's check of Spruce failed.", "label": "valid", "case_id": "test-00630", "kind": "time_scope"} {"family": "test/time-Spruce", "decision": "Use Spruce only if today's check succeeds.", "evidence": "Yesterday's check of Spruce failed. Today's check of Spruce succeeded.", "label": "valid", "case_id": "test-00631", "kind": "time_scope"} {"family": "test/time-Spruce", "decision": "Use Spruce only if today's check succeeds.", "evidence": "Today's check of Spruce failed. Yesterday's check of Spruce succeeded.", "label": "invalid", "case_id": "test-00632", "kind": "time_scope"} {"family": "test/time-Spruce", "decision": "Use Spruce only if today's check succeeds.", "evidence": "Yesterday's check of Spruce succeeded. Today's check of Spruce failed.", "label": "invalid", "case_id": "test-00633", "kind": "time_scope"} {"family": "test/time-Spruce", "decision": "Use Spruce only if today's check succeeds.", "evidence": "Today's check of Spruce has no result yet. Yesterday's check of Spruce succeeded.", "label": "unknown", "case_id": "test-00634", "kind": "time_scope"} {"family": "test/time-Spruce", "decision": "Use Spruce only if today's check succeeds.", "evidence": "Yesterday's check of Spruce succeeded. Today's check of Spruce has no result yet.", "label": "unknown", "case_id": "test-00635", "kind": "time_scope"} {"family": "test/entity-Tango", "decision": "Use Tango only if Tango is writable.", "evidence": "Tango is writable. Umber is read-only.", "label": "valid", "case_id": "test-00636", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Use Tango only if Tango is writable.", "evidence": "Umber is read-only. Tango is writable.", "label": "valid", "case_id": "test-00637", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Use Tango only if Tango is writable.", "evidence": "Tango is read-only. Umber is writable.", "label": "invalid", "case_id": "test-00638", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Use Tango only if Tango is writable.", "evidence": "Umber is writable. Tango is read-only.", "label": "invalid", "case_id": "test-00639", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Use Tango only if Tango is writable.", "evidence": "Tango has not been checked. Umber is writable.", "label": "unknown", "case_id": "test-00640", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Use Tango only if Tango is writable.", "evidence": "Umber is writable. Tango has not been checked.", "label": "unknown", "case_id": "test-00641", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Start Tango only if Tango is ready.", "evidence": "Tango is ready. Umber is not ready.", "label": "valid", "case_id": "test-00642", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Start Tango only if Tango is ready.", "evidence": "Umber is not ready. Tango is ready.", "label": "valid", "case_id": "test-00643", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Start Tango only if Tango is ready.", "evidence": "Tango is not ready. Umber is ready.", "label": "invalid", "case_id": "test-00644", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Start Tango only if Tango is ready.", "evidence": "Umber is ready. Tango is not ready.", "label": "invalid", "case_id": "test-00645", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Start Tango only if Tango is ready.", "evidence": "Tango has not been checked. Umber is ready.", "label": "unknown", "case_id": "test-00646", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Start Tango only if Tango is ready.", "evidence": "Umber is ready. Tango has not been checked.", "label": "unknown", "case_id": "test-00647", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Publish Tango only if Tango is approved.", "evidence": "Tango is approved. Umber is rejected.", "label": "valid", "case_id": "test-00648", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Publish Tango only if Tango is approved.", "evidence": "Umber is rejected. Tango is approved.", "label": "valid", "case_id": "test-00649", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Publish Tango only if Tango is approved.", "evidence": "Tango is rejected. Umber is approved.", "label": "invalid", "case_id": "test-00650", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Publish Tango only if Tango is approved.", "evidence": "Umber is approved. Tango is rejected.", "label": "invalid", "case_id": "test-00651", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Publish Tango only if Tango is approved.", "evidence": "Tango has not been checked. Umber is approved.", "label": "unknown", "case_id": "test-00652", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Publish Tango only if Tango is approved.", "evidence": "Umber is approved. Tango has not been checked.", "label": "unknown", "case_id": "test-00653", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Enable Tango only if Tango is compatible.", "evidence": "Tango is compatible. Umber is incompatible.", "label": "valid", "case_id": "test-00654", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Enable Tango only if Tango is compatible.", "evidence": "Umber is incompatible. Tango is compatible.", "label": "valid", "case_id": "test-00655", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Enable Tango only if Tango is compatible.", "evidence": "Tango is incompatible. Umber is compatible.", "label": "invalid", "case_id": "test-00656", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Enable Tango only if Tango is compatible.", "evidence": "Umber is compatible. Tango is incompatible.", "label": "invalid", "case_id": "test-00657", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Enable Tango only if Tango is compatible.", "evidence": "Tango has not been checked. Umber is compatible.", "label": "unknown", "case_id": "test-00658", "kind": "entity_scope"} {"family": "test/entity-Tango", "decision": "Enable Tango only if Tango is compatible.", "evidence": "Umber is compatible. Tango has not been checked.", "label": "unknown", "case_id": "test-00659", "kind": "entity_scope"} {"family": "test/time-Tango", "decision": "Use Tango only if today's check succeeds.", "evidence": "Today's check of Tango succeeded. Yesterday's check of Tango failed.", "label": "valid", "case_id": "test-00660", "kind": "time_scope"} {"family": "test/time-Tango", "decision": "Use Tango only if today's check succeeds.", "evidence": "Yesterday's check of Tango failed. Today's check of Tango succeeded.", "label": "valid", "case_id": "test-00661", "kind": "time_scope"} {"family": "test/time-Tango", "decision": "Use Tango only if today's check succeeds.", "evidence": "Today's check of Tango failed. Yesterday's check of Tango succeeded.", "label": "invalid", "case_id": "test-00662", "kind": "time_scope"} {"family": "test/time-Tango", "decision": "Use Tango only if today's check succeeds.", "evidence": "Yesterday's check of Tango succeeded. Today's check of Tango failed.", "label": "invalid", "case_id": "test-00663", "kind": "time_scope"} {"family": "test/time-Tango", "decision": "Use Tango only if today's check succeeds.", "evidence": "Today's check of Tango has no result yet. Yesterday's check of Tango succeeded.", "label": "unknown", "case_id": "test-00664", "kind": "time_scope"} {"family": "test/time-Tango", "decision": "Use Tango only if today's check succeeds.", "evidence": "Yesterday's check of Tango succeeded. Today's check of Tango has no result yet.", "label": "unknown", "case_id": "test-00665", "kind": "time_scope"} {"family": "test/entity-Umber", "decision": "Use Umber only if Umber is writable.", "evidence": "Umber is writable. Violet is read-only.", "label": "valid", "case_id": "test-00666", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Use Umber only if Umber is writable.", "evidence": "Violet is read-only. Umber is writable.", "label": "valid", "case_id": "test-00667", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Use Umber only if Umber is writable.", "evidence": "Umber is read-only. Violet is writable.", "label": "invalid", "case_id": "test-00668", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Use Umber only if Umber is writable.", "evidence": "Violet is writable. Umber is read-only.", "label": "invalid", "case_id": "test-00669", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Use Umber only if Umber is writable.", "evidence": "Umber has not been checked. Violet is writable.", "label": "unknown", "case_id": "test-00670", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Use Umber only if Umber is writable.", "evidence": "Violet is writable. Umber has not been checked.", "label": "unknown", "case_id": "test-00671", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Start Umber only if Umber is ready.", "evidence": "Umber is ready. Violet is not ready.", "label": "valid", "case_id": "test-00672", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Start Umber only if Umber is ready.", "evidence": "Violet is not ready. Umber is ready.", "label": "valid", "case_id": "test-00673", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Start Umber only if Umber is ready.", "evidence": "Umber is not ready. Violet is ready.", "label": "invalid", "case_id": "test-00674", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Start Umber only if Umber is ready.", "evidence": "Violet is ready. Umber is not ready.", "label": "invalid", "case_id": "test-00675", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Start Umber only if Umber is ready.", "evidence": "Umber has not been checked. Violet is ready.", "label": "unknown", "case_id": "test-00676", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Start Umber only if Umber is ready.", "evidence": "Violet is ready. Umber has not been checked.", "label": "unknown", "case_id": "test-00677", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Publish Umber only if Umber is approved.", "evidence": "Umber is approved. Violet is rejected.", "label": "valid", "case_id": "test-00678", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Publish Umber only if Umber is approved.", "evidence": "Violet is rejected. Umber is approved.", "label": "valid", "case_id": "test-00679", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Publish Umber only if Umber is approved.", "evidence": "Umber is rejected. Violet is approved.", "label": "invalid", "case_id": "test-00680", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Publish Umber only if Umber is approved.", "evidence": "Violet is approved. Umber is rejected.", "label": "invalid", "case_id": "test-00681", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Publish Umber only if Umber is approved.", "evidence": "Umber has not been checked. Violet is approved.", "label": "unknown", "case_id": "test-00682", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Publish Umber only if Umber is approved.", "evidence": "Violet is approved. Umber has not been checked.", "label": "unknown", "case_id": "test-00683", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Enable Umber only if Umber is compatible.", "evidence": "Umber is compatible. Violet is incompatible.", "label": "valid", "case_id": "test-00684", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Enable Umber only if Umber is compatible.", "evidence": "Violet is incompatible. Umber is compatible.", "label": "valid", "case_id": "test-00685", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Enable Umber only if Umber is compatible.", "evidence": "Umber is incompatible. Violet is compatible.", "label": "invalid", "case_id": "test-00686", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Enable Umber only if Umber is compatible.", "evidence": "Violet is compatible. Umber is incompatible.", "label": "invalid", "case_id": "test-00687", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Enable Umber only if Umber is compatible.", "evidence": "Umber has not been checked. Violet is compatible.", "label": "unknown", "case_id": "test-00688", "kind": "entity_scope"} {"family": "test/entity-Umber", "decision": "Enable Umber only if Umber is compatible.", "evidence": "Violet is compatible. Umber has not been checked.", "label": "unknown", "case_id": "test-00689", "kind": "entity_scope"} {"family": "test/time-Umber", "decision": "Use Umber only if today's check succeeds.", "evidence": "Today's check of Umber succeeded. Yesterday's check of Umber failed.", "label": "valid", "case_id": "test-00690", "kind": "time_scope"} {"family": "test/time-Umber", "decision": "Use Umber only if today's check succeeds.", "evidence": "Yesterday's check of Umber failed. Today's check of Umber succeeded.", "label": "valid", "case_id": "test-00691", "kind": "time_scope"} {"family": "test/time-Umber", "decision": "Use Umber only if today's check succeeds.", "evidence": "Today's check of Umber failed. Yesterday's check of Umber succeeded.", "label": "invalid", "case_id": "test-00692", "kind": "time_scope"} {"family": "test/time-Umber", "decision": "Use Umber only if today's check succeeds.", "evidence": "Yesterday's check of Umber succeeded. Today's check of Umber failed.", "label": "invalid", "case_id": "test-00693", "kind": "time_scope"} {"family": "test/time-Umber", "decision": "Use Umber only if today's check succeeds.", "evidence": "Today's check of Umber has no result yet. Yesterday's check of Umber succeeded.", "label": "unknown", "case_id": "test-00694", "kind": "time_scope"} {"family": "test/time-Umber", "decision": "Use Umber only if today's check succeeds.", "evidence": "Yesterday's check of Umber succeeded. Today's check of Umber has no result yet.", "label": "unknown", "case_id": "test-00695", "kind": "time_scope"} {"family": "test/entity-Violet", "decision": "Use Violet only if Violet is writable.", "evidence": "Violet is writable. Willow is read-only.", "label": "valid", "case_id": "test-00696", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Use Violet only if Violet is writable.", "evidence": "Willow is read-only. Violet is writable.", "label": "valid", "case_id": "test-00697", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Use Violet only if Violet is writable.", "evidence": "Violet is read-only. Willow is writable.", "label": "invalid", "case_id": "test-00698", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Use Violet only if Violet is writable.", "evidence": "Willow is writable. Violet is read-only.", "label": "invalid", "case_id": "test-00699", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Use Violet only if Violet is writable.", "evidence": "Violet has not been checked. Willow is writable.", "label": "unknown", "case_id": "test-00700", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Use Violet only if Violet is writable.", "evidence": "Willow is writable. Violet has not been checked.", "label": "unknown", "case_id": "test-00701", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Start Violet only if Violet is ready.", "evidence": "Violet is ready. Willow is not ready.", "label": "valid", "case_id": "test-00702", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Start Violet only if Violet is ready.", "evidence": "Willow is not ready. Violet is ready.", "label": "valid", "case_id": "test-00703", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Start Violet only if Violet is ready.", "evidence": "Violet is not ready. Willow is ready.", "label": "invalid", "case_id": "test-00704", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Start Violet only if Violet is ready.", "evidence": "Willow is ready. Violet is not ready.", "label": "invalid", "case_id": "test-00705", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Start Violet only if Violet is ready.", "evidence": "Violet has not been checked. Willow is ready.", "label": "unknown", "case_id": "test-00706", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Start Violet only if Violet is ready.", "evidence": "Willow is ready. Violet has not been checked.", "label": "unknown", "case_id": "test-00707", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Publish Violet only if Violet is approved.", "evidence": "Violet is approved. Willow is rejected.", "label": "valid", "case_id": "test-00708", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Publish Violet only if Violet is approved.", "evidence": "Willow is rejected. Violet is approved.", "label": "valid", "case_id": "test-00709", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Publish Violet only if Violet is approved.", "evidence": "Violet is rejected. Willow is approved.", "label": "invalid", "case_id": "test-00710", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Publish Violet only if Violet is approved.", "evidence": "Willow is approved. Violet is rejected.", "label": "invalid", "case_id": "test-00711", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Publish Violet only if Violet is approved.", "evidence": "Violet has not been checked. Willow is approved.", "label": "unknown", "case_id": "test-00712", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Publish Violet only if Violet is approved.", "evidence": "Willow is approved. Violet has not been checked.", "label": "unknown", "case_id": "test-00713", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Enable Violet only if Violet is compatible.", "evidence": "Violet is compatible. Willow is incompatible.", "label": "valid", "case_id": "test-00714", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Enable Violet only if Violet is compatible.", "evidence": "Willow is incompatible. Violet is compatible.", "label": "valid", "case_id": "test-00715", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Enable Violet only if Violet is compatible.", "evidence": "Violet is incompatible. Willow is compatible.", "label": "invalid", "case_id": "test-00716", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Enable Violet only if Violet is compatible.", "evidence": "Willow is compatible. Violet is incompatible.", "label": "invalid", "case_id": "test-00717", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Enable Violet only if Violet is compatible.", "evidence": "Violet has not been checked. Willow is compatible.", "label": "unknown", "case_id": "test-00718", "kind": "entity_scope"} {"family": "test/entity-Violet", "decision": "Enable Violet only if Violet is compatible.", "evidence": "Willow is compatible. Violet has not been checked.", "label": "unknown", "case_id": "test-00719", "kind": "entity_scope"} {"family": "test/time-Violet", "decision": "Use Violet only if today's check succeeds.", "evidence": "Today's check of Violet succeeded. Yesterday's check of Violet failed.", "label": "valid", "case_id": "test-00720", "kind": "time_scope"} {"family": "test/time-Violet", "decision": "Use Violet only if today's check succeeds.", "evidence": "Yesterday's check of Violet failed. Today's check of Violet succeeded.", "label": "valid", "case_id": "test-00721", "kind": "time_scope"} {"family": "test/time-Violet", "decision": "Use Violet only if today's check succeeds.", "evidence": "Today's check of Violet failed. Yesterday's check of Violet succeeded.", "label": "invalid", "case_id": "test-00722", "kind": "time_scope"} {"family": "test/time-Violet", "decision": "Use Violet only if today's check succeeds.", "evidence": "Yesterday's check of Violet succeeded. Today's check of Violet failed.", "label": "invalid", "case_id": "test-00723", "kind": "time_scope"} {"family": "test/time-Violet", "decision": "Use Violet only if today's check succeeds.", "evidence": "Today's check of Violet has no result yet. Yesterday's check of Violet succeeded.", "label": "unknown", "case_id": "test-00724", "kind": "time_scope"} {"family": "test/time-Violet", "decision": "Use Violet only if today's check succeeds.", "evidence": "Yesterday's check of Violet succeeded. Today's check of Violet has no result yet.", "label": "unknown", "case_id": "test-00725", "kind": "time_scope"} {"family": "test/entity-Willow", "decision": "Use Willow only if Willow is writable.", "evidence": "Willow is writable. Xenon is read-only.", "label": "valid", "case_id": "test-00726", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Use Willow only if Willow is writable.", "evidence": "Xenon is read-only. Willow is writable.", "label": "valid", "case_id": "test-00727", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Use Willow only if Willow is writable.", "evidence": "Willow is read-only. Xenon is writable.", "label": "invalid", "case_id": "test-00728", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Use Willow only if Willow is writable.", "evidence": "Xenon is writable. Willow is read-only.", "label": "invalid", "case_id": "test-00729", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Use Willow only if Willow is writable.", "evidence": "Willow has not been checked. Xenon is writable.", "label": "unknown", "case_id": "test-00730", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Use Willow only if Willow is writable.", "evidence": "Xenon is writable. Willow has not been checked.", "label": "unknown", "case_id": "test-00731", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Start Willow only if Willow is ready.", "evidence": "Willow is ready. Xenon is not ready.", "label": "valid", "case_id": "test-00732", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Start Willow only if Willow is ready.", "evidence": "Xenon is not ready. Willow is ready.", "label": "valid", "case_id": "test-00733", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Start Willow only if Willow is ready.", "evidence": "Willow is not ready. Xenon is ready.", "label": "invalid", "case_id": "test-00734", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Start Willow only if Willow is ready.", "evidence": "Xenon is ready. Willow is not ready.", "label": "invalid", "case_id": "test-00735", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Start Willow only if Willow is ready.", "evidence": "Willow has not been checked. Xenon is ready.", "label": "unknown", "case_id": "test-00736", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Start Willow only if Willow is ready.", "evidence": "Xenon is ready. Willow has not been checked.", "label": "unknown", "case_id": "test-00737", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Publish Willow only if Willow is approved.", "evidence": "Willow is approved. Xenon is rejected.", "label": "valid", "case_id": "test-00738", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Publish Willow only if Willow is approved.", "evidence": "Xenon is rejected. Willow is approved.", "label": "valid", "case_id": "test-00739", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Publish Willow only if Willow is approved.", "evidence": "Willow is rejected. Xenon is approved.", "label": "invalid", "case_id": "test-00740", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Publish Willow only if Willow is approved.", "evidence": "Xenon is approved. Willow is rejected.", "label": "invalid", "case_id": "test-00741", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Publish Willow only if Willow is approved.", "evidence": "Willow has not been checked. Xenon is approved.", "label": "unknown", "case_id": "test-00742", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Publish Willow only if Willow is approved.", "evidence": "Xenon is approved. Willow has not been checked.", "label": "unknown", "case_id": "test-00743", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Enable Willow only if Willow is compatible.", "evidence": "Willow is compatible. Xenon is incompatible.", "label": "valid", "case_id": "test-00744", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Enable Willow only if Willow is compatible.", "evidence": "Xenon is incompatible. Willow is compatible.", "label": "valid", "case_id": "test-00745", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Enable Willow only if Willow is compatible.", "evidence": "Willow is incompatible. Xenon is compatible.", "label": "invalid", "case_id": "test-00746", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Enable Willow only if Willow is compatible.", "evidence": "Xenon is compatible. Willow is incompatible.", "label": "invalid", "case_id": "test-00747", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Enable Willow only if Willow is compatible.", "evidence": "Willow has not been checked. Xenon is compatible.", "label": "unknown", "case_id": "test-00748", "kind": "entity_scope"} {"family": "test/entity-Willow", "decision": "Enable Willow only if Willow is compatible.", "evidence": "Xenon is compatible. Willow has not been checked.", "label": "unknown", "case_id": "test-00749", "kind": "entity_scope"} {"family": "test/time-Willow", "decision": "Use Willow only if today's check succeeds.", "evidence": "Today's check of Willow succeeded. Yesterday's check of Willow failed.", "label": "valid", "case_id": "test-00750", "kind": "time_scope"} {"family": "test/time-Willow", "decision": "Use Willow only if today's check succeeds.", "evidence": "Yesterday's check of Willow failed. Today's check of Willow succeeded.", "label": "valid", "case_id": "test-00751", "kind": "time_scope"} {"family": "test/time-Willow", "decision": "Use Willow only if today's check succeeds.", "evidence": "Today's check of Willow failed. Yesterday's check of Willow succeeded.", "label": "invalid", "case_id": "test-00752", "kind": "time_scope"} {"family": "test/time-Willow", "decision": "Use Willow only if today's check succeeds.", "evidence": "Yesterday's check of Willow succeeded. Today's check of Willow failed.", "label": "invalid", "case_id": "test-00753", "kind": "time_scope"} {"family": "test/time-Willow", "decision": "Use Willow only if today's check succeeds.", "evidence": "Today's check of Willow has no result yet. Yesterday's check of Willow succeeded.", "label": "unknown", "case_id": "test-00754", "kind": "time_scope"} {"family": "test/time-Willow", "decision": "Use Willow only if today's check succeeds.", "evidence": "Yesterday's check of Willow succeeded. Today's check of Willow has no result yet.", "label": "unknown", "case_id": "test-00755", "kind": "time_scope"} {"family": "test/entity-Xenon", "decision": "Use Xenon only if Xenon is writable.", "evidence": "Xenon is writable. Yarrow is read-only.", "label": "valid", "case_id": "test-00756", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Use Xenon only if Xenon is writable.", "evidence": "Yarrow is read-only. Xenon is writable.", "label": "valid", "case_id": "test-00757", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Use Xenon only if Xenon is writable.", "evidence": "Xenon is read-only. Yarrow is writable.", "label": "invalid", "case_id": "test-00758", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Use Xenon only if Xenon is writable.", "evidence": "Yarrow is writable. Xenon is read-only.", "label": "invalid", "case_id": "test-00759", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Use Xenon only if Xenon is writable.", "evidence": "Xenon has not been checked. Yarrow is writable.", "label": "unknown", "case_id": "test-00760", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Use Xenon only if Xenon is writable.", "evidence": "Yarrow is writable. Xenon has not been checked.", "label": "unknown", "case_id": "test-00761", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Start Xenon only if Xenon is ready.", "evidence": "Xenon is ready. Yarrow is not ready.", "label": "valid", "case_id": "test-00762", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Start Xenon only if Xenon is ready.", "evidence": "Yarrow is not ready. Xenon is ready.", "label": "valid", "case_id": "test-00763", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Start Xenon only if Xenon is ready.", "evidence": "Xenon is not ready. Yarrow is ready.", "label": "invalid", "case_id": "test-00764", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Start Xenon only if Xenon is ready.", "evidence": "Yarrow is ready. Xenon is not ready.", "label": "invalid", "case_id": "test-00765", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Start Xenon only if Xenon is ready.", "evidence": "Xenon has not been checked. Yarrow is ready.", "label": "unknown", "case_id": "test-00766", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Start Xenon only if Xenon is ready.", "evidence": "Yarrow is ready. Xenon has not been checked.", "label": "unknown", "case_id": "test-00767", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Publish Xenon only if Xenon is approved.", "evidence": "Xenon is approved. Yarrow is rejected.", "label": "valid", "case_id": "test-00768", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Publish Xenon only if Xenon is approved.", "evidence": "Yarrow is rejected. Xenon is approved.", "label": "valid", "case_id": "test-00769", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Publish Xenon only if Xenon is approved.", "evidence": "Xenon is rejected. Yarrow is approved.", "label": "invalid", "case_id": "test-00770", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Publish Xenon only if Xenon is approved.", "evidence": "Yarrow is approved. Xenon is rejected.", "label": "invalid", "case_id": "test-00771", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Publish Xenon only if Xenon is approved.", "evidence": "Xenon has not been checked. Yarrow is approved.", "label": "unknown", "case_id": "test-00772", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Publish Xenon only if Xenon is approved.", "evidence": "Yarrow is approved. Xenon has not been checked.", "label": "unknown", "case_id": "test-00773", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Enable Xenon only if Xenon is compatible.", "evidence": "Xenon is compatible. Yarrow is incompatible.", "label": "valid", "case_id": "test-00774", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Enable Xenon only if Xenon is compatible.", "evidence": "Yarrow is incompatible. Xenon is compatible.", "label": "valid", "case_id": "test-00775", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Enable Xenon only if Xenon is compatible.", "evidence": "Xenon is incompatible. Yarrow is compatible.", "label": "invalid", "case_id": "test-00776", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Enable Xenon only if Xenon is compatible.", "evidence": "Yarrow is compatible. Xenon is incompatible.", "label": "invalid", "case_id": "test-00777", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Enable Xenon only if Xenon is compatible.", "evidence": "Xenon has not been checked. Yarrow is compatible.", "label": "unknown", "case_id": "test-00778", "kind": "entity_scope"} {"family": "test/entity-Xenon", "decision": "Enable Xenon only if Xenon is compatible.", "evidence": "Yarrow is compatible. Xenon has not been checked.", "label": "unknown", "case_id": "test-00779", "kind": "entity_scope"} {"family": "test/time-Xenon", "decision": "Use Xenon only if today's check succeeds.", "evidence": "Today's check of Xenon succeeded. Yesterday's check of Xenon failed.", "label": "valid", "case_id": "test-00780", "kind": "time_scope"} {"family": "test/time-Xenon", "decision": "Use Xenon only if today's check succeeds.", "evidence": "Yesterday's check of Xenon failed. Today's check of Xenon succeeded.", "label": "valid", "case_id": "test-00781", "kind": "time_scope"} {"family": "test/time-Xenon", "decision": "Use Xenon only if today's check succeeds.", "evidence": "Today's check of Xenon failed. Yesterday's check of Xenon succeeded.", "label": "invalid", "case_id": "test-00782", "kind": "time_scope"} {"family": "test/time-Xenon", "decision": "Use Xenon only if today's check succeeds.", "evidence": "Yesterday's check of Xenon succeeded. Today's check of Xenon failed.", "label": "invalid", "case_id": "test-00783", "kind": "time_scope"} {"family": "test/time-Xenon", "decision": "Use Xenon only if today's check succeeds.", "evidence": "Today's check of Xenon has no result yet. Yesterday's check of Xenon succeeded.", "label": "unknown", "case_id": "test-00784", "kind": "time_scope"} {"family": "test/time-Xenon", "decision": "Use Xenon only if today's check succeeds.", "evidence": "Yesterday's check of Xenon succeeded. Today's check of Xenon has no result yet.", "label": "unknown", "case_id": "test-00785", "kind": "time_scope"} {"family": "test/entity-Yarrow", "decision": "Use Yarrow only if Yarrow is writable.", "evidence": "Yarrow is writable. Raven is read-only.", "label": "valid", "case_id": "test-00786", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Use Yarrow only if Yarrow is writable.", "evidence": "Raven is read-only. Yarrow is writable.", "label": "valid", "case_id": "test-00787", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Use Yarrow only if Yarrow is writable.", "evidence": "Yarrow is read-only. Raven is writable.", "label": "invalid", "case_id": "test-00788", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Use Yarrow only if Yarrow is writable.", "evidence": "Raven is writable. Yarrow is read-only.", "label": "invalid", "case_id": "test-00789", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Use Yarrow only if Yarrow is writable.", "evidence": "Yarrow has not been checked. Raven is writable.", "label": "unknown", "case_id": "test-00790", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Use Yarrow only if Yarrow is writable.", "evidence": "Raven is writable. Yarrow has not been checked.", "label": "unknown", "case_id": "test-00791", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Start Yarrow only if Yarrow is ready.", "evidence": "Yarrow is ready. Raven is not ready.", "label": "valid", "case_id": "test-00792", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Start Yarrow only if Yarrow is ready.", "evidence": "Raven is not ready. Yarrow is ready.", "label": "valid", "case_id": "test-00793", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Start Yarrow only if Yarrow is ready.", "evidence": "Yarrow is not ready. Raven is ready.", "label": "invalid", "case_id": "test-00794", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Start Yarrow only if Yarrow is ready.", "evidence": "Raven is ready. Yarrow is not ready.", "label": "invalid", "case_id": "test-00795", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Start Yarrow only if Yarrow is ready.", "evidence": "Yarrow has not been checked. Raven is ready.", "label": "unknown", "case_id": "test-00796", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Start Yarrow only if Yarrow is ready.", "evidence": "Raven is ready. Yarrow has not been checked.", "label": "unknown", "case_id": "test-00797", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Publish Yarrow only if Yarrow is approved.", "evidence": "Yarrow is approved. Raven is rejected.", "label": "valid", "case_id": "test-00798", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Publish Yarrow only if Yarrow is approved.", "evidence": "Raven is rejected. Yarrow is approved.", "label": "valid", "case_id": "test-00799", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Publish Yarrow only if Yarrow is approved.", "evidence": "Yarrow is rejected. Raven is approved.", "label": "invalid", "case_id": "test-00800", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Publish Yarrow only if Yarrow is approved.", "evidence": "Raven is approved. Yarrow is rejected.", "label": "invalid", "case_id": "test-00801", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Publish Yarrow only if Yarrow is approved.", "evidence": "Yarrow has not been checked. Raven is approved.", "label": "unknown", "case_id": "test-00802", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Publish Yarrow only if Yarrow is approved.", "evidence": "Raven is approved. Yarrow has not been checked.", "label": "unknown", "case_id": "test-00803", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Enable Yarrow only if Yarrow is compatible.", "evidence": "Yarrow is compatible. Raven is incompatible.", "label": "valid", "case_id": "test-00804", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Enable Yarrow only if Yarrow is compatible.", "evidence": "Raven is incompatible. Yarrow is compatible.", "label": "valid", "case_id": "test-00805", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Enable Yarrow only if Yarrow is compatible.", "evidence": "Yarrow is incompatible. Raven is compatible.", "label": "invalid", "case_id": "test-00806", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Enable Yarrow only if Yarrow is compatible.", "evidence": "Raven is compatible. Yarrow is incompatible.", "label": "invalid", "case_id": "test-00807", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Enable Yarrow only if Yarrow is compatible.", "evidence": "Yarrow has not been checked. Raven is compatible.", "label": "unknown", "case_id": "test-00808", "kind": "entity_scope"} {"family": "test/entity-Yarrow", "decision": "Enable Yarrow only if Yarrow is compatible.", "evidence": "Raven is compatible. Yarrow has not been checked.", "label": "unknown", "case_id": "test-00809", "kind": "entity_scope"} {"family": "test/time-Yarrow", "decision": "Use Yarrow only if today's check succeeds.", "evidence": "Today's check of Yarrow succeeded. Yesterday's check of Yarrow failed.", "label": "valid", "case_id": "test-00810", "kind": "time_scope"} {"family": "test/time-Yarrow", "decision": "Use Yarrow only if today's check succeeds.", "evidence": "Yesterday's check of Yarrow failed. Today's check of Yarrow succeeded.", "label": "valid", "case_id": "test-00811", "kind": "time_scope"} {"family": "test/time-Yarrow", "decision": "Use Yarrow only if today's check succeeds.", "evidence": "Today's check of Yarrow failed. Yesterday's check of Yarrow succeeded.", "label": "invalid", "case_id": "test-00812", "kind": "time_scope"} {"family": "test/time-Yarrow", "decision": "Use Yarrow only if today's check succeeds.", "evidence": "Yesterday's check of Yarrow succeeded. Today's check of Yarrow failed.", "label": "invalid", "case_id": "test-00813", "kind": "time_scope"} {"family": "test/time-Yarrow", "decision": "Use Yarrow only if today's check succeeds.", "evidence": "Today's check of Yarrow has no result yet. Yesterday's check of Yarrow succeeded.", "label": "unknown", "case_id": "test-00814", "kind": "time_scope"} {"family": "test/time-Yarrow", "decision": "Use Yarrow only if today's check succeeds.", "evidence": "Yesterday's check of Yarrow succeeded. Today's check of Yarrow has no result yet.", "label": "unknown", "case_id": "test-00815", "kind": "time_scope"} {"family": "test/reversal-0", "decision": "We agreed to erase the image at the requester's instruction.", "evidence": "Please preserve the image instead.", "label": "invalid", "case_id": "test-00816", "kind": "reversal"} {"family": "test/reversal-0", "decision": "We agreed to erase the image at the requester's instruction.", "evidence": "I still want you to erase the image.", "label": "valid", "case_id": "test-00817", "kind": "reversal"} {"family": "test/reversal-0", "decision": "We agreed to erase the image at the requester's instruction.", "evidence": "I might want to preserve the image, but I have not decided.", "label": "unknown", "case_id": "test-00818", "kind": "reversal"} {"family": "test/reversal-0", "decision": "We agreed to erase the image.", "evidence": "A different project's deployment was cancelled; this task is unaffected.", "label": "valid", "case_id": "test-00819", "kind": "unrelated"} {"family": "test/reversal-0", "decision": "We agreed to erase the image at the requester's instruction.", "evidence": "The requester says: Please preserve the image instead.", "label": "invalid", "case_id": "test-00820", "kind": "reversal"} {"family": "test/reversal-0", "decision": "We agreed to erase the image at the requester's instruction.", "evidence": "The requester says: I still want you to erase the image.", "label": "valid", "case_id": "test-00821", "kind": "reversal"} {"family": "test/reversal-0", "decision": "We agreed to erase the image at the requester's instruction.", "evidence": "The requester says: I might want to preserve the image, but I have not decided.", "label": "unknown", "case_id": "test-00822", "kind": "reversal"} {"family": "test/reversal-0", "decision": "We agreed to erase the image.", "evidence": "The requester says: A different project's deployment was cancelled; this task is unaffected.", "label": "valid", "case_id": "test-00823", "kind": "unrelated"} {"family": "test/reversal-1", "decision": "We agreed to disconnect the device at the requester's instruction.", "evidence": "Please keep the device connected instead.", "label": "invalid", "case_id": "test-00824", "kind": "reversal"} {"family": "test/reversal-1", "decision": "We agreed to disconnect the device at the requester's instruction.", "evidence": "I still want you to disconnect the device.", "label": "valid", "case_id": "test-00825", "kind": "reversal"} {"family": "test/reversal-1", "decision": "We agreed to disconnect the device at the requester's instruction.", "evidence": "I might want to keep the device connected, but I have not decided.", "label": "unknown", "case_id": "test-00826", "kind": "reversal"} {"family": "test/reversal-1", "decision": "We agreed to disconnect the device.", "evidence": "A different project's deployment was cancelled; this task is unaffected.", "label": "valid", "case_id": "test-00827", "kind": "unrelated"} {"family": "test/reversal-1", "decision": "We agreed to disconnect the device at the requester's instruction.", "evidence": "The requester says: Please keep the device connected instead.", "label": "invalid", "case_id": "test-00828", "kind": "reversal"} {"family": "test/reversal-1", "decision": "We agreed to disconnect the device at the requester's instruction.", "evidence": "The requester says: I still want you to disconnect the device.", "label": "valid", "case_id": "test-00829", "kind": "reversal"} {"family": "test/reversal-1", "decision": "We agreed to disconnect the device at the requester's instruction.", "evidence": "The requester says: I might want to keep the device connected, but I have not decided.", "label": "unknown", "case_id": "test-00830", "kind": "reversal"} {"family": "test/reversal-1", "decision": "We agreed to disconnect the device.", "evidence": "The requester says: A different project's deployment was cancelled; this task is unaffected.", "label": "valid", "case_id": "test-00831", "kind": "unrelated"} {"family": "test/reversal-2", "decision": "We agreed to submit the application at the requester's instruction.", "evidence": "Please hold the application instead.", "label": "invalid", "case_id": "test-00832", "kind": "reversal"} {"family": "test/reversal-2", "decision": "We agreed to submit the application at the requester's instruction.", "evidence": "I still want you to submit the application.", "label": "valid", "case_id": "test-00833", "kind": "reversal"} {"family": "test/reversal-2", "decision": "We agreed to submit the application at the requester's instruction.", "evidence": "I might want to hold the application, but I have not decided.", "label": "unknown", "case_id": "test-00834", "kind": "reversal"} {"family": "test/reversal-2", "decision": "We agreed to submit the application.", "evidence": "A different project's deployment was cancelled; this task is unaffected.", "label": "valid", "case_id": "test-00835", "kind": "unrelated"} {"family": "test/reversal-2", "decision": "We agreed to submit the application at the requester's instruction.", "evidence": "The requester says: Please hold the application instead.", "label": "invalid", "case_id": "test-00836", "kind": "reversal"} {"family": "test/reversal-2", "decision": "We agreed to submit the application at the requester's instruction.", "evidence": "The requester says: I still want you to submit the application.", "label": "valid", "case_id": "test-00837", "kind": "reversal"} {"family": "test/reversal-2", "decision": "We agreed to submit the application at the requester's instruction.", "evidence": "The requester says: I might want to hold the application, but I have not decided.", "label": "unknown", "case_id": "test-00838", "kind": "reversal"} {"family": "test/reversal-2", "decision": "We agreed to submit the application.", "evidence": "The requester says: A different project's deployment was cancelled; this task is unaffected.", "label": "valid", "case_id": "test-00839", "kind": "unrelated"} {"family": "test/reversal-3", "decision": "We agreed to replace the title at the requester's instruction.", "evidence": "Please retain the original title instead.", "label": "invalid", "case_id": "test-00840", "kind": "reversal"} {"family": "test/reversal-3", "decision": "We agreed to replace the title at the requester's instruction.", "evidence": "I still want you to replace the title.", "label": "valid", "case_id": "test-00841", "kind": "reversal"} {"family": "test/reversal-3", "decision": "We agreed to replace the title at the requester's instruction.", "evidence": "I might want to retain the original title, but I have not decided.", "label": "unknown", "case_id": "test-00842", "kind": "reversal"} {"family": "test/reversal-3", "decision": "We agreed to replace the title.", "evidence": "A different project's deployment was cancelled; this task is unaffected.", "label": "valid", "case_id": "test-00843", "kind": "unrelated"} {"family": "test/reversal-3", "decision": "We agreed to replace the title at the requester's instruction.", "evidence": "The requester says: Please retain the original title instead.", "label": "invalid", "case_id": "test-00844", "kind": "reversal"} {"family": "test/reversal-3", "decision": "We agreed to replace the title at the requester's instruction.", "evidence": "The requester says: I still want you to replace the title.", "label": "valid", "case_id": "test-00845", "kind": "reversal"} {"family": "test/reversal-3", "decision": "We agreed to replace the title at the requester's instruction.", "evidence": "The requester says: I might want to retain the original title, but I have not decided.", "label": "unknown", "case_id": "test-00846", "kind": "reversal"} {"family": "test/reversal-3", "decision": "We agreed to replace the title.", "evidence": "The requester says: A different project's deployment was cancelled; this task is unaffected.", "label": "valid", "case_id": "test-00847", "kind": "unrelated"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no active jobs.", "evidence": "There are no active jobs.", "label": "valid", "case_id": "test-00848", "kind": "negation"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no active jobs.", "evidence": "There are still active jobs.", "label": "invalid", "case_id": "test-00849", "kind": "negation"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no active jobs.", "evidence": "Nobody has checked whether there are active jobs.", "label": "unknown", "case_id": "test-00850", "kind": "negation"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no unresolved errors.", "evidence": "There are no unresolved errors.", "label": "valid", "case_id": "test-00851", "kind": "negation"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no unresolved errors.", "evidence": "There are still unresolved errors.", "label": "invalid", "case_id": "test-00852", "kind": "negation"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no unresolved errors.", "evidence": "Nobody has checked whether there are unresolved errors.", "label": "unknown", "case_id": "test-00853", "kind": "negation"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no missing signatures.", "evidence": "There are no missing signatures.", "label": "valid", "case_id": "test-00854", "kind": "negation"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no missing signatures.", "evidence": "There are still missing signatures.", "label": "invalid", "case_id": "test-00855", "kind": "negation"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no missing signatures.", "evidence": "Nobody has checked whether there are missing signatures.", "label": "unknown", "case_id": "test-00856", "kind": "negation"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no open blockers.", "evidence": "There are no open blockers.", "label": "valid", "case_id": "test-00857", "kind": "negation"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no open blockers.", "evidence": "There are still open blockers.", "label": "invalid", "case_id": "test-00858", "kind": "negation"} {"family": "test/negation-Raven", "decision": "Proceed with Raven only if there are no open blockers.", "evidence": "Nobody has checked whether there are open blockers.", "label": "unknown", "case_id": "test-00859", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no active jobs.", "evidence": "There are no active jobs.", "label": "valid", "case_id": "test-00860", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no active jobs.", "evidence": "There are still active jobs.", "label": "invalid", "case_id": "test-00861", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no active jobs.", "evidence": "Nobody has checked whether there are active jobs.", "label": "unknown", "case_id": "test-00862", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no unresolved errors.", "evidence": "There are no unresolved errors.", "label": "valid", "case_id": "test-00863", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no unresolved errors.", "evidence": "There are still unresolved errors.", "label": "invalid", "case_id": "test-00864", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no unresolved errors.", "evidence": "Nobody has checked whether there are unresolved errors.", "label": "unknown", "case_id": "test-00865", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no missing signatures.", "evidence": "There are no missing signatures.", "label": "valid", "case_id": "test-00866", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no missing signatures.", "evidence": "There are still missing signatures.", "label": "invalid", "case_id": "test-00867", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no missing signatures.", "evidence": "Nobody has checked whether there are missing signatures.", "label": "unknown", "case_id": "test-00868", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no open blockers.", "evidence": "There are no open blockers.", "label": "valid", "case_id": "test-00869", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no open blockers.", "evidence": "There are still open blockers.", "label": "invalid", "case_id": "test-00870", "kind": "negation"} {"family": "test/negation-Spruce", "decision": "Proceed with Spruce only if there are no open blockers.", "evidence": "Nobody has checked whether there are open blockers.", "label": "unknown", "case_id": "test-00871", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no active jobs.", "evidence": "There are no active jobs.", "label": "valid", "case_id": "test-00872", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no active jobs.", "evidence": "There are still active jobs.", "label": "invalid", "case_id": "test-00873", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no active jobs.", "evidence": "Nobody has checked whether there are active jobs.", "label": "unknown", "case_id": "test-00874", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no unresolved errors.", "evidence": "There are no unresolved errors.", "label": "valid", "case_id": "test-00875", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no unresolved errors.", "evidence": "There are still unresolved errors.", "label": "invalid", "case_id": "test-00876", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no unresolved errors.", "evidence": "Nobody has checked whether there are unresolved errors.", "label": "unknown", "case_id": "test-00877", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no missing signatures.", "evidence": "There are no missing signatures.", "label": "valid", "case_id": "test-00878", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no missing signatures.", "evidence": "There are still missing signatures.", "label": "invalid", "case_id": "test-00879", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no missing signatures.", "evidence": "Nobody has checked whether there are missing signatures.", "label": "unknown", "case_id": "test-00880", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no open blockers.", "evidence": "There are no open blockers.", "label": "valid", "case_id": "test-00881", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no open blockers.", "evidence": "There are still open blockers.", "label": "invalid", "case_id": "test-00882", "kind": "negation"} {"family": "test/negation-Tango", "decision": "Proceed with Tango only if there are no open blockers.", "evidence": "Nobody has checked whether there are open blockers.", "label": "unknown", "case_id": "test-00883", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no active jobs.", "evidence": "There are no active jobs.", "label": "valid", "case_id": "test-00884", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no active jobs.", "evidence": "There are still active jobs.", "label": "invalid", "case_id": "test-00885", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no active jobs.", "evidence": "Nobody has checked whether there are active jobs.", "label": "unknown", "case_id": "test-00886", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no unresolved errors.", "evidence": "There are no unresolved errors.", "label": "valid", "case_id": "test-00887", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no unresolved errors.", "evidence": "There are still unresolved errors.", "label": "invalid", "case_id": "test-00888", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no unresolved errors.", "evidence": "Nobody has checked whether there are unresolved errors.", "label": "unknown", "case_id": "test-00889", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no missing signatures.", "evidence": "There are no missing signatures.", "label": "valid", "case_id": "test-00890", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no missing signatures.", "evidence": "There are still missing signatures.", "label": "invalid", "case_id": "test-00891", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no missing signatures.", "evidence": "Nobody has checked whether there are missing signatures.", "label": "unknown", "case_id": "test-00892", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no open blockers.", "evidence": "There are no open blockers.", "label": "valid", "case_id": "test-00893", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no open blockers.", "evidence": "There are still open blockers.", "label": "invalid", "case_id": "test-00894", "kind": "negation"} {"family": "test/negation-Umber", "decision": "Proceed with Umber only if there are no open blockers.", "evidence": "Nobody has checked whether there are open blockers.", "label": "unknown", "case_id": "test-00895", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no active jobs.", "evidence": "There are no active jobs.", "label": "valid", "case_id": "test-00896", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no active jobs.", "evidence": "There are still active jobs.", "label": "invalid", "case_id": "test-00897", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no active jobs.", "evidence": "Nobody has checked whether there are active jobs.", "label": "unknown", "case_id": "test-00898", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no unresolved errors.", "evidence": "There are no unresolved errors.", "label": "valid", "case_id": "test-00899", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no unresolved errors.", "evidence": "There are still unresolved errors.", "label": "invalid", "case_id": "test-00900", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no unresolved errors.", "evidence": "Nobody has checked whether there are unresolved errors.", "label": "unknown", "case_id": "test-00901", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no missing signatures.", "evidence": "There are no missing signatures.", "label": "valid", "case_id": "test-00902", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no missing signatures.", "evidence": "There are still missing signatures.", "label": "invalid", "case_id": "test-00903", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no missing signatures.", "evidence": "Nobody has checked whether there are missing signatures.", "label": "unknown", "case_id": "test-00904", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no open blockers.", "evidence": "There are no open blockers.", "label": "valid", "case_id": "test-00905", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no open blockers.", "evidence": "There are still open blockers.", "label": "invalid", "case_id": "test-00906", "kind": "negation"} {"family": "test/negation-Violet", "decision": "Proceed with Violet only if there are no open blockers.", "evidence": "Nobody has checked whether there are open blockers.", "label": "unknown", "case_id": "test-00907", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no active jobs.", "evidence": "There are no active jobs.", "label": "valid", "case_id": "test-00908", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no active jobs.", "evidence": "There are still active jobs.", "label": "invalid", "case_id": "test-00909", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no active jobs.", "evidence": "Nobody has checked whether there are active jobs.", "label": "unknown", "case_id": "test-00910", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no unresolved errors.", "evidence": "There are no unresolved errors.", "label": "valid", "case_id": "test-00911", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no unresolved errors.", "evidence": "There are still unresolved errors.", "label": "invalid", "case_id": "test-00912", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no unresolved errors.", "evidence": "Nobody has checked whether there are unresolved errors.", "label": "unknown", "case_id": "test-00913", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no missing signatures.", "evidence": "There are no missing signatures.", "label": "valid", "case_id": "test-00914", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no missing signatures.", "evidence": "There are still missing signatures.", "label": "invalid", "case_id": "test-00915", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no missing signatures.", "evidence": "Nobody has checked whether there are missing signatures.", "label": "unknown", "case_id": "test-00916", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no open blockers.", "evidence": "There are no open blockers.", "label": "valid", "case_id": "test-00917", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no open blockers.", "evidence": "There are still open blockers.", "label": "invalid", "case_id": "test-00918", "kind": "negation"} {"family": "test/negation-Willow", "decision": "Proceed with Willow only if there are no open blockers.", "evidence": "Nobody has checked whether there are open blockers.", "label": "unknown", "case_id": "test-00919", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no active jobs.", "evidence": "There are no active jobs.", "label": "valid", "case_id": "test-00920", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no active jobs.", "evidence": "There are still active jobs.", "label": "invalid", "case_id": "test-00921", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no active jobs.", "evidence": "Nobody has checked whether there are active jobs.", "label": "unknown", "case_id": "test-00922", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no unresolved errors.", "evidence": "There are no unresolved errors.", "label": "valid", "case_id": "test-00923", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no unresolved errors.", "evidence": "There are still unresolved errors.", "label": "invalid", "case_id": "test-00924", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no unresolved errors.", "evidence": "Nobody has checked whether there are unresolved errors.", "label": "unknown", "case_id": "test-00925", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no missing signatures.", "evidence": "There are no missing signatures.", "label": "valid", "case_id": "test-00926", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no missing signatures.", "evidence": "There are still missing signatures.", "label": "invalid", "case_id": "test-00927", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no missing signatures.", "evidence": "Nobody has checked whether there are missing signatures.", "label": "unknown", "case_id": "test-00928", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no open blockers.", "evidence": "There are no open blockers.", "label": "valid", "case_id": "test-00929", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no open blockers.", "evidence": "There are still open blockers.", "label": "invalid", "case_id": "test-00930", "kind": "negation"} {"family": "test/negation-Xenon", "decision": "Proceed with Xenon only if there are no open blockers.", "evidence": "Nobody has checked whether there are open blockers.", "label": "unknown", "case_id": "test-00931", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no active jobs.", "evidence": "There are no active jobs.", "label": "valid", "case_id": "test-00932", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no active jobs.", "evidence": "There are still active jobs.", "label": "invalid", "case_id": "test-00933", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no active jobs.", "evidence": "Nobody has checked whether there are active jobs.", "label": "unknown", "case_id": "test-00934", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no unresolved errors.", "evidence": "There are no unresolved errors.", "label": "valid", "case_id": "test-00935", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no unresolved errors.", "evidence": "There are still unresolved errors.", "label": "invalid", "case_id": "test-00936", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no unresolved errors.", "evidence": "Nobody has checked whether there are unresolved errors.", "label": "unknown", "case_id": "test-00937", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no missing signatures.", "evidence": "There are no missing signatures.", "label": "valid", "case_id": "test-00938", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no missing signatures.", "evidence": "There are still missing signatures.", "label": "invalid", "case_id": "test-00939", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no missing signatures.", "evidence": "Nobody has checked whether there are missing signatures.", "label": "unknown", "case_id": "test-00940", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no open blockers.", "evidence": "There are no open blockers.", "label": "valid", "case_id": "test-00941", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no open blockers.", "evidence": "There are still open blockers.", "label": "invalid", "case_id": "test-00942", "kind": "negation"} {"family": "test/negation-Yarrow", "decision": "Proceed with Yarrow only if there are no open blockers.", "evidence": "Nobody has checked whether there are open blockers.", "label": "unknown", "case_id": "test-00943", "kind": "negation"} {"family": "test/quantity-6", "decision": "Book a room only if it has at least 6 usable seats.", "evidence": "The room has 3 usable seats.", "label": "invalid", "case_id": "test-00944", "kind": "quantity"} {"family": "test/quantity-6", "decision": "Book a room only if it has at least 6 usable seats.", "evidence": "The room has 6 seats in total; 3 cannot be used.", "label": "invalid", "case_id": "test-00945", "kind": "arithmetic"} {"family": "test/quantity-6", "decision": "Book a room only if it has at least 6 usable seats.", "evidence": "The room has 5 usable seats.", "label": "invalid", "case_id": "test-00946", "kind": "quantity"} {"family": "test/quantity-6", "decision": "Book a room only if it has at least 6 usable seats.", "evidence": "The room has 8 seats in total; 3 cannot be used.", "label": "invalid", "case_id": "test-00947", "kind": "arithmetic"} {"family": "test/quantity-6", "decision": "Book a room only if it has at least 6 usable seats.", "evidence": "The room has 6 usable seats.", "label": "valid", "case_id": "test-00948", "kind": "quantity"} {"family": "test/quantity-6", "decision": "Book a room only if it has at least 6 usable seats.", "evidence": "The room has 9 seats in total; 3 cannot be used.", "label": "valid", "case_id": "test-00949", "kind": "arithmetic"} {"family": "test/quantity-6", "decision": "Book a room only if it has at least 6 usable seats.", "evidence": "The room has 7 usable seats.", "label": "valid", "case_id": "test-00950", "kind": "quantity"} {"family": "test/quantity-6", "decision": "Book a room only if it has at least 6 usable seats.", "evidence": "The room has 8 seats in total; 1 cannot be used.", "label": "valid", "case_id": "test-00951", "kind": "arithmetic"} {"family": "test/quantity-6", "decision": "Book a room only if it has at least 6 usable seats.", "evidence": "The room has 9 usable seats.", "label": "valid", "case_id": "test-00952", "kind": "quantity"} {"family": "test/quantity-6", "decision": "Book a room only if it has at least 6 usable seats.", "evidence": "The room has 10 seats in total; 1 cannot be used.", "label": "valid", "case_id": "test-00953", "kind": "arithmetic"} {"family": "test/quantity-6", "decision": "Book a room only if it has at least 6 usable seats.", "evidence": "The seating capacity has not been recorded.", "label": "unknown", "case_id": "test-00954", "kind": "quantity"} {"family": "test/quantity-14", "decision": "Book a room only if it has at least 14 usable seats.", "evidence": "The room has 11 usable seats.", "label": "invalid", "case_id": "test-00955", "kind": "quantity"} {"family": "test/quantity-14", "decision": "Book a room only if it has at least 14 usable seats.", "evidence": "The room has 13 seats in total; 2 cannot be used.", "label": "invalid", "case_id": "test-00956", "kind": "arithmetic"} {"family": "test/quantity-14", "decision": "Book a room only if it has at least 14 usable seats.", "evidence": "The room has 13 usable seats.", "label": "invalid", "case_id": "test-00957", "kind": "quantity"} {"family": "test/quantity-14", "decision": "Book a room only if it has at least 14 usable seats.", "evidence": "The room has 14 seats in total; 1 cannot be used.", "label": "invalid", "case_id": "test-00958", "kind": "arithmetic"} {"family": "test/quantity-14", "decision": "Book a room only if it has at least 14 usable seats.", "evidence": "The room has 14 usable seats.", "label": "valid", "case_id": "test-00959", "kind": "quantity"} {"family": "test/quantity-14", "decision": "Book a room only if it has at least 14 usable seats.", "evidence": "The room has 16 seats in total; 2 cannot be used.", "label": "valid", "case_id": "test-00960", "kind": "arithmetic"} {"family": "test/quantity-14", "decision": "Book a room only if it has at least 14 usable seats.", "evidence": "The room has 15 usable seats.", "label": "valid", "case_id": "test-00961", "kind": "quantity"} {"family": "test/quantity-14", "decision": "Book a room only if it has at least 14 usable seats.", "evidence": "The room has 16 seats in total; 1 cannot be used.", "label": "valid", "case_id": "test-00962", "kind": "arithmetic"} {"family": "test/quantity-14", "decision": "Book a room only if it has at least 14 usable seats.", "evidence": "The room has 17 usable seats.", "label": "valid", "case_id": "test-00963", "kind": "quantity"} {"family": "test/quantity-14", "decision": "Book a room only if it has at least 14 usable seats.", "evidence": "The room has 19 seats in total; 2 cannot be used.", "label": "valid", "case_id": "test-00964", "kind": "arithmetic"} {"family": "test/quantity-14", "decision": "Book a room only if it has at least 14 usable seats.", "evidence": "The seating capacity has not been recorded.", "label": "unknown", "case_id": "test-00965", "kind": "quantity"} {"family": "test/quantity-22", "decision": "Book a room only if it has at least 22 usable seats.", "evidence": "The room has 19 usable seats.", "label": "invalid", "case_id": "test-00966", "kind": "quantity"} {"family": "test/quantity-22", "decision": "Book a room only if it has at least 22 usable seats.", "evidence": "The room has 20 seats in total; 1 cannot be used.", "label": "invalid", "case_id": "test-00967", "kind": "arithmetic"} {"family": "test/quantity-22", "decision": "Book a room only if it has at least 22 usable seats.", "evidence": "The room has 21 usable seats.", "label": "invalid", "case_id": "test-00968", "kind": "quantity"} {"family": "test/quantity-22", "decision": "Book a room only if it has at least 22 usable seats.", "evidence": "The room has 23 seats in total; 2 cannot be used.", "label": "invalid", "case_id": "test-00969", "kind": "arithmetic"} {"family": "test/quantity-22", "decision": "Book a room only if it has at least 22 usable seats.", "evidence": "The room has 22 usable seats.", "label": "valid", "case_id": "test-00970", "kind": "quantity"} {"family": "test/quantity-22", "decision": "Book a room only if it has at least 22 usable seats.", "evidence": "The room has 23 seats in total; 1 cannot be used.", "label": "valid", "case_id": "test-00971", "kind": "arithmetic"} {"family": "test/quantity-22", "decision": "Book a room only if it has at least 22 usable seats.", "evidence": "The room has 23 usable seats.", "label": "valid", "case_id": "test-00972", "kind": "quantity"} {"family": "test/quantity-22", "decision": "Book a room only if it has at least 22 usable seats.", "evidence": "The room has 25 seats in total; 2 cannot be used.", "label": "valid", "case_id": "test-00973", "kind": "arithmetic"} {"family": "test/quantity-22", "decision": "Book a room only if it has at least 22 usable seats.", "evidence": "The room has 25 usable seats.", "label": "valid", "case_id": "test-00974", "kind": "quantity"} {"family": "test/quantity-22", "decision": "Book a room only if it has at least 22 usable seats.", "evidence": "The room has 29 seats in total; 4 cannot be used.", "label": "valid", "case_id": "test-00975", "kind": "arithmetic"} {"family": "test/quantity-22", "decision": "Book a room only if it has at least 22 usable seats.", "evidence": "The seating capacity has not been recorded.", "label": "unknown", "case_id": "test-00976", "kind": "quantity"} {"family": "test/quantity-32", "decision": "Book a room only if it has at least 32 usable seats.", "evidence": "The room has 29 usable seats.", "label": "invalid", "case_id": "test-00977", "kind": "quantity"} {"family": "test/quantity-32", "decision": "Book a room only if it has at least 32 usable seats.", "evidence": "The room has 32 seats in total; 3 cannot be used.", "label": "invalid", "case_id": "test-00978", "kind": "arithmetic"} {"family": "test/quantity-32", "decision": "Book a room only if it has at least 32 usable seats.", "evidence": "The room has 31 usable seats.", "label": "invalid", "case_id": "test-00979", "kind": "quantity"} {"family": "test/quantity-32", "decision": "Book a room only if it has at least 32 usable seats.", "evidence": "The room has 35 seats in total; 4 cannot be used.", "label": "invalid", "case_id": "test-00980", "kind": "arithmetic"} {"family": "test/quantity-32", "decision": "Book a room only if it has at least 32 usable seats.", "evidence": "The room has 32 usable seats.", "label": "valid", "case_id": "test-00981", "kind": "quantity"} {"family": "test/quantity-32", "decision": "Book a room only if it has at least 32 usable seats.", "evidence": "The room has 35 seats in total; 3 cannot be used.", "label": "valid", "case_id": "test-00982", "kind": "arithmetic"} {"family": "test/quantity-32", "decision": "Book a room only if it has at least 32 usable seats.", "evidence": "The room has 33 usable seats.", "label": "valid", "case_id": "test-00983", "kind": "quantity"} {"family": "test/quantity-32", "decision": "Book a room only if it has at least 32 usable seats.", "evidence": "The room has 35 seats in total; 2 cannot be used.", "label": "valid", "case_id": "test-00984", "kind": "arithmetic"} {"family": "test/quantity-32", "decision": "Book a room only if it has at least 32 usable seats.", "evidence": "The room has 35 usable seats.", "label": "valid", "case_id": "test-00985", "kind": "quantity"} {"family": "test/quantity-32", "decision": "Book a room only if it has at least 32 usable seats.", "evidence": "The room has 38 seats in total; 3 cannot be used.", "label": "valid", "case_id": "test-00986", "kind": "arithmetic"} {"family": "test/quantity-32", "decision": "Book a room only if it has at least 32 usable seats.", "evidence": "The seating capacity has not been recorded.", "label": "unknown", "case_id": "test-00987", "kind": "quantity"} {"family": "test/quantity-45", "decision": "Book a room only if it has at least 45 usable seats.", "evidence": "The room has 42 usable seats.", "label": "invalid", "case_id": "test-00988", "kind": "quantity"} {"family": "test/quantity-45", "decision": "Book a room only if it has at least 45 usable seats.", "evidence": "The room has 44 seats in total; 2 cannot be used.", "label": "invalid", "case_id": "test-00989", "kind": "arithmetic"} {"family": "test/quantity-45", "decision": "Book a room only if it has at least 45 usable seats.", "evidence": "The room has 44 usable seats.", "label": "invalid", "case_id": "test-00990", "kind": "quantity"} {"family": "test/quantity-45", "decision": "Book a room only if it has at least 45 usable seats.", "evidence": "The room has 47 seats in total; 3 cannot be used.", "label": "invalid", "case_id": "test-00991", "kind": "arithmetic"} {"family": "test/quantity-45", "decision": "Book a room only if it has at least 45 usable seats.", "evidence": "The room has 45 usable seats.", "label": "valid", "case_id": "test-00992", "kind": "quantity"} {"family": "test/quantity-45", "decision": "Book a room only if it has at least 45 usable seats.", "evidence": "The room has 48 seats in total; 3 cannot be used.", "label": "valid", "case_id": "test-00993", "kind": "arithmetic"} {"family": "test/quantity-45", "decision": "Book a room only if it has at least 45 usable seats.", "evidence": "The room has 46 usable seats.", "label": "valid", "case_id": "test-00994", "kind": "quantity"} {"family": "test/quantity-45", "decision": "Book a room only if it has at least 45 usable seats.", "evidence": "The room has 50 seats in total; 4 cannot be used.", "label": "valid", "case_id": "test-00995", "kind": "arithmetic"} {"family": "test/quantity-45", "decision": "Book a room only if it has at least 45 usable seats.", "evidence": "The room has 48 usable seats.", "label": "valid", "case_id": "test-00996", "kind": "quantity"} {"family": "test/quantity-45", "decision": "Book a room only if it has at least 45 usable seats.", "evidence": "The room has 50 seats in total; 2 cannot be used.", "label": "valid", "case_id": "test-00997", "kind": "arithmetic"} {"family": "test/quantity-45", "decision": "Book a room only if it has at least 45 usable seats.", "evidence": "The seating capacity has not been recorded.", "label": "unknown", "case_id": "test-00998", "kind": "quantity"} {"family": "test/quantity-60", "decision": "Book a room only if it has at least 60 usable seats.", "evidence": "The room has 57 usable seats.", "label": "invalid", "case_id": "test-00999", "kind": "quantity"} {"family": "test/quantity-60", "decision": "Book a room only if it has at least 60 usable seats.", "evidence": "The room has 59 seats in total; 2 cannot be used.", "label": "invalid", "case_id": "test-01000", "kind": "arithmetic"} {"family": "test/quantity-60", "decision": "Book a room only if it has at least 60 usable seats.", "evidence": "The room has 59 usable seats.", "label": "invalid", "case_id": "test-01001", "kind": "quantity"} {"family": "test/quantity-60", "decision": "Book a room only if it has at least 60 usable seats.", "evidence": "The room has 63 seats in total; 4 cannot be used.", "label": "invalid", "case_id": "test-01002", "kind": "arithmetic"} {"family": "test/quantity-60", "decision": "Book a room only if it has at least 60 usable seats.", "evidence": "The room has 60 usable seats.", "label": "valid", "case_id": "test-01003", "kind": "quantity"} {"family": "test/quantity-60", "decision": "Book a room only if it has at least 60 usable seats.", "evidence": "The room has 62 seats in total; 2 cannot be used.", "label": "valid", "case_id": "test-01004", "kind": "arithmetic"} {"family": "test/quantity-60", "decision": "Book a room only if it has at least 60 usable seats.", "evidence": "The room has 61 usable seats.", "label": "valid", "case_id": "test-01005", "kind": "quantity"} {"family": "test/quantity-60", "decision": "Book a room only if it has at least 60 usable seats.", "evidence": "The room has 64 seats in total; 3 cannot be used.", "label": "valid", "case_id": "test-01006", "kind": "arithmetic"} {"family": "test/quantity-60", "decision": "Book a room only if it has at least 60 usable seats.", "evidence": "The room has 63 usable seats.", "label": "valid", "case_id": "test-01007", "kind": "quantity"} {"family": "test/quantity-60", "decision": "Book a room only if it has at least 60 usable seats.", "evidence": "The room has 67 seats in total; 4 cannot be used.", "label": "valid", "case_id": "test-01008", "kind": "arithmetic"} {"family": "test/quantity-60", "decision": "Book a room only if it has at least 60 usable seats.", "evidence": "The seating capacity has not been recorded.", "label": "unknown", "case_id": "test-01009", "kind": "quantity"} {"family": "test/quantity-75", "decision": "Book a room only if it has at least 75 usable seats.", "evidence": "The room has 72 usable seats.", "label": "invalid", "case_id": "test-01010", "kind": "quantity"} {"family": "test/quantity-75", "decision": "Book a room only if it has at least 75 usable seats.", "evidence": "The room has 76 seats in total; 4 cannot be used.", "label": "invalid", "case_id": "test-01011", "kind": "arithmetic"} {"family": "test/quantity-75", "decision": "Book a room only if it has at least 75 usable seats.", "evidence": "The room has 74 usable seats.", "label": "invalid", "case_id": "test-01012", "kind": "quantity"} {"family": "test/quantity-75", "decision": "Book a room only if it has at least 75 usable seats.", "evidence": "The room has 78 seats in total; 4 cannot be used.", "label": "invalid", "case_id": "test-01013", "kind": "arithmetic"} {"family": "test/quantity-75", "decision": "Book a room only if it has at least 75 usable seats.", "evidence": "The room has 75 usable seats.", "label": "valid", "case_id": "test-01014", "kind": "quantity"} {"family": "test/quantity-75", "decision": "Book a room only if it has at least 75 usable seats.", "evidence": "The room has 78 seats in total; 3 cannot be used.", "label": "valid", "case_id": "test-01015", "kind": "arithmetic"} {"family": "test/quantity-75", "decision": "Book a room only if it has at least 75 usable seats.", "evidence": "The room has 76 usable seats.", "label": "valid", "case_id": "test-01016", "kind": "quantity"} {"family": "test/quantity-75", "decision": "Book a room only if it has at least 75 usable seats.", "evidence": "The room has 79 seats in total; 3 cannot be used.", "label": "valid", "case_id": "test-01017", "kind": "arithmetic"} {"family": "test/quantity-75", "decision": "Book a room only if it has at least 75 usable seats.", "evidence": "The room has 78 usable seats.", "label": "valid", "case_id": "test-01018", "kind": "quantity"} {"family": "test/quantity-75", "decision": "Book a room only if it has at least 75 usable seats.", "evidence": "The room has 82 seats in total; 4 cannot be used.", "label": "valid", "case_id": "test-01019", "kind": "arithmetic"} {"family": "test/quantity-75", "decision": "Book a room only if it has at least 75 usable seats.", "evidence": "The seating capacity has not been recorded.", "label": "unknown", "case_id": "test-01020", "kind": "quantity"} {"family": "test/quantity-90", "decision": "Book a room only if it has at least 90 usable seats.", "evidence": "The room has 87 usable seats.", "label": "invalid", "case_id": "test-01021", "kind": "quantity"} {"family": "test/quantity-90", "decision": "Book a room only if it has at least 90 usable seats.", "evidence": "The room has 91 seats in total; 4 cannot be used.", "label": "invalid", "case_id": "test-01022", "kind": "arithmetic"} {"family": "test/quantity-90", "decision": "Book a room only if it has at least 90 usable seats.", "evidence": "The room has 89 usable seats.", "label": "invalid", "case_id": "test-01023", "kind": "quantity"} {"family": "test/quantity-90", "decision": "Book a room only if it has at least 90 usable seats.", "evidence": "The room has 93 seats in total; 4 cannot be used.", "label": "invalid", "case_id": "test-01024", "kind": "arithmetic"} {"family": "test/quantity-90", "decision": "Book a room only if it has at least 90 usable seats.", "evidence": "The room has 90 usable seats.", "label": "valid", "case_id": "test-01025", "kind": "quantity"} {"family": "test/quantity-90", "decision": "Book a room only if it has at least 90 usable seats.", "evidence": "The room has 94 seats in total; 4 cannot be used.", "label": "valid", "case_id": "test-01026", "kind": "arithmetic"} {"family": "test/quantity-90", "decision": "Book a room only if it has at least 90 usable seats.", "evidence": "The room has 91 usable seats.", "label": "valid", "case_id": "test-01027", "kind": "quantity"} {"family": "test/quantity-90", "decision": "Book a room only if it has at least 90 usable seats.", "evidence": "The room has 95 seats in total; 4 cannot be used.", "label": "valid", "case_id": "test-01028", "kind": "arithmetic"} {"family": "test/quantity-90", "decision": "Book a room only if it has at least 90 usable seats.", "evidence": "The room has 93 usable seats.", "label": "valid", "case_id": "test-01029", "kind": "quantity"} {"family": "test/quantity-90", "decision": "Book a room only if it has at least 90 usable seats.", "evidence": "The room has 94 seats in total; 1 cannot be used.", "label": "valid", "case_id": "test-01030", "kind": "arithmetic"} {"family": "test/quantity-90", "decision": "Book a room only if it has at least 90 usable seats.", "evidence": "The seating capacity has not been recorded.", "label": "unknown", "case_id": "test-01031", "kind": "quantity"}