{"_meta":{"battery":"5t","sub_battery":"transitivity","version":"v1","task_count":30,"notes":"Typed-relation chains. Whitelist: implies, subset_of, ancestor_of, before, less_than. Mixed-relation or non-whitelisted relations always fail by construction."}}
{"id":"5t-trn-001","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"A","to":"B","relation":"implies"},{"from":"B","to":"C","relation":"implies"}],"query":{"from":"A","to":"C","relation":"implies"},"expected":"pass"}
{"id":"5t-trn-002","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"X","to":"Y","relation":"implies"},{"from":"Y","to":"Z","relation":"implies"},{"from":"Z","to":"W","relation":"implies"}],"query":{"from":"X","to":"W","relation":"implies"},"expected":"pass"}
{"id":"5t-trn-003","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"squares","to":"rectangles","relation":"subset_of"},{"from":"rectangles","to":"quadrilaterals","relation":"subset_of"}],"query":{"from":"squares","to":"quadrilaterals","relation":"subset_of"},"expected":"pass"}
{"id":"5t-trn-004","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"sparrows","to":"birds","relation":"subset_of"},{"from":"birds","to":"animals","relation":"subset_of"}],"query":{"from":"sparrows","to":"animals","relation":"subset_of"},"expected":"pass"}
{"id":"5t-trn-005","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"oaks","to":"trees","relation":"subset_of"},{"from":"trees","to":"plants","relation":"subset_of"},{"from":"plants","to":"organisms","relation":"subset_of"}],"query":{"from":"oaks","to":"organisms","relation":"subset_of"},"expected":"pass"}
{"id":"5t-trn-006","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"alice","to":"bob","relation":"ancestor_of"},{"from":"bob","to":"carol","relation":"ancestor_of"}],"query":{"from":"alice","to":"carol","relation":"ancestor_of"},"expected":"pass"}
{"id":"5t-trn-007","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"grandma","to":"mother","relation":"ancestor_of"},{"from":"mother","to":"daughter","relation":"ancestor_of"},{"from":"daughter","to":"granddaughter","relation":"ancestor_of"}],"query":{"from":"grandma","to":"granddaughter","relation":"ancestor_of"},"expected":"pass"}
{"id":"5t-trn-008","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"event1","to":"event2","relation":"before"},{"from":"event2","to":"event3","relation":"before"}],"query":{"from":"event1","to":"event3","relation":"before"},"expected":"pass"}
{"id":"5t-trn-009","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"jurassic","to":"cretaceous","relation":"before"},{"from":"cretaceous","to":"paleogene","relation":"before"},{"from":"paleogene","to":"neogene","relation":"before"}],"query":{"from":"jurassic","to":"neogene","relation":"before"},"expected":"pass"}
{"id":"5t-trn-010","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"two","to":"three","relation":"less_than"},{"from":"three","to":"four","relation":"less_than"}],"query":{"from":"two","to":"four","relation":"less_than"},"expected":"pass"}
{"id":"5t-trn-011","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"five","to":"ten","relation":"less_than"},{"from":"ten","to":"twenty","relation":"less_than"},{"from":"twenty","to":"forty","relation":"less_than"}],"query":{"from":"five","to":"forty","relation":"less_than"},"expected":"pass"}
{"id":"5t-trn-012","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"P","to":"Q","relation":"implies"},{"from":"Q","to":"R","relation":"implies"},{"from":"R","to":"S","relation":"implies"},{"from":"S","to":"T","relation":"implies"}],"query":{"from":"P","to":"T","relation":"implies"},"expected":"pass"}
{"id":"5t-trn-013","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"mammals","to":"vertebrates","relation":"subset_of"},{"from":"dogs","to":"mammals","relation":"subset_of"}],"query":{"from":"dogs","to":"vertebrates","relation":"subset_of"},"expected":"pass"}
{"id":"5t-trn-014","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"poodle","to":"dog","relation":"subset_of"},{"from":"dog","to":"mammal","relation":"subset_of"},{"from":"mammal","to":"animal","relation":"subset_of"}],"query":{"from":"poodle","to":"animal","relation":"subset_of"},"expected":"pass"}
{"id":"5t-trn-015","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"dawn","to":"morning","relation":"before"},{"from":"morning","to":"noon","relation":"before"},{"from":"noon","to":"evening","relation":"before"}],"query":{"from":"dawn","to":"evening","relation":"before"},"expected":"pass"}
{"id":"5t-trn-016","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"A","to":"B","relation":"implies"},{"from":"C","to":"D","relation":"implies"}],"query":{"from":"A","to":"D","relation":"implies"},"expected":"fail"}
{"id":"5t-trn-017","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"A","to":"B","relation":"related_to"},{"from":"B","to":"C","relation":"causes"}],"query":{"from":"A","to":"C","relation":"causes"},"expected":"fail"}
{"id":"5t-trn-018","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"alice","to":"bob","relation":"likes"},{"from":"bob","to":"carol","relation":"likes"}],"query":{"from":"alice","to":"carol","relation":"likes"},"expected":"fail"}
{"id":"5t-trn-019","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"X","to":"Y","relation":"related_to"},{"from":"Y","to":"Z","relation":"related_to"}],"query":{"from":"X","to":"Z","relation":"related_to"},"expected":"fail"}
{"id":"5t-trn-020","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"P","to":"Q","relation":"causes"},{"from":"Q","to":"R","relation":"causes"}],"query":{"from":"P","to":"R","relation":"causes"},"expected":"fail"}
{"id":"5t-trn-021","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"A","to":"B","relation":"implies"},{"from":"B","to":"C","relation":"subset_of"}],"query":{"from":"A","to":"C","relation":"implies"},"expected":"fail"}
{"id":"5t-trn-022","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"a","to":"b","relation":"subset_of"},{"from":"b","to":"c","relation":"ancestor_of"}],"query":{"from":"a","to":"c","relation":"subset_of"},"expected":"fail"}
{"id":"5t-trn-023","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"a","to":"b","relation":"before"},{"from":"b","to":"c","relation":"after"}],"query":{"from":"a","to":"c","relation":"before"},"expected":"fail"}
{"id":"5t-trn-024","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"A","to":"B","relation":"likes"},{"from":"B","to":"C","relation":"likes"},{"from":"C","to":"D","relation":"likes"}],"query":{"from":"A","to":"D","relation":"likes"},"expected":"fail"}
{"id":"5t-trn-025","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"M","to":"N","relation":"unknown_relation"},{"from":"N","to":"O","relation":"unknown_relation"}],"query":{"from":"M","to":"O","relation":"unknown_relation"},"expected":"fail"}
{"id":"5t-trn-026","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"node1","to":"node2","relation":"adjacent"},{"from":"node2","to":"node3","relation":"adjacent"}],"query":{"from":"node1","to":"node3","relation":"adjacent"},"expected":"fail"}
{"id":"5t-trn-027","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"a","to":"b","relation":"implies"},{"from":"c","to":"d","relation":"implies"},{"from":"e","to":"f","relation":"implies"}],"query":{"from":"a","to":"f","relation":"implies"},"expected":"fail"}
{"id":"5t-trn-028","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"A","to":"B","relation":"less_than"},{"from":"C","to":"D","relation":"less_than"}],"query":{"from":"A","to":"D","relation":"less_than"},"expected":"fail"}
{"id":"5t-trn-029","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"A","to":"B","relation":"implies"},{"from":"B","to":"C","relation":"implies"},{"from":"D","to":"E","relation":"implies"},{"from":"E","to":"F","relation":"implies"}],"query":{"from":"A","to":"F","relation":"implies"},"expected":"fail"}
{"id":"5t-trn-030","battery":"5t","sub_battery":"transitivity","version":"v1","carrier":"claim_lattice","domain":"relation_graph","pi_star_ref":"pi_relation_graph_v1","edges":[{"from":"X","to":"Y","relation":"correlated_with"},{"from":"Y","to":"Z","relation":"correlated_with"}],"query":{"from":"X","to":"Z","relation":"correlated_with"},"expected":"fail"}
