{"id": "idiv_kinship_001", "domain": "kinship", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "Alice", "predicate": "is_parent_of", "obj": "Bob"}], "edges": []}, "axis_a_hint": "qualified, may be", "axis_b_hint": "direct affirmation"}
{"id": "idiv_color_001", "domain": "color", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "red", "predicate": "is_warm", "obj": "true"}], "edges": []}, "axis_a_hint": "qualified as typically warm", "axis_b_hint": "red is inherently warm"}
{"id": "idiv_spatial_001", "domain": "spatial", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "A", "predicate": "is_left_of", "obj": "B"}], "edges": []}, "axis_a_hint": "perhaps A is left of B", "axis_b_hint": "A is left of B"}
{"id": "idiv_reasoning_001", "domain": "reasoning", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "X", "predicate": "implies", "obj": "n2"}, {"node_id": "n2", "subject": "Y", "predicate": "implies", "obj": "Z"}], "edges": [{"source": "n1", "target": "n2", "relation": "sequence"}]}, "axis_a_hint": "if conditions hold, then X implies Z", "axis_b_hint": "X implies Z follows"}
{"id": "idiv_conflict_001", "domain": "reasoning", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "P", "predicate": "holds", "obj": "true"}, {"node_id": "n2", "subject": "P", "predicate": "holds", "obj": "false"}], "edges": []}, "axis_a_hint": "contradiction flagged", "axis_b_hint": "try to reconcile"}
