{"id": "teach_kinship_001", "domain": "kinship", "type": "fact", "surface": "Alice is parent of Bob", "proposition": {"relation": "is_parent_of", "confirmed": true}, "explanation": "Basic kinship fact: Alice is parent of Bob"}
{"id": "teach_kinship_002", "domain": "kinship", "type": "fact", "surface": "Bob is parent of Carol", "proposition": {"relation": "is_parent_of", "confirmed": true}, "explanation": "Basic kinship fact: Bob is parent of Carol"}
{"id": "teach_kinship_003", "domain": "kinship", "type": "fact", "surface": "Carol is parent of Dave", "proposition": {"relation": "is_parent_of", "confirmed": true}, "explanation": "Basic kinship fact: Carol is parent of Dave"}
{"id": "teach_kinship_004", "domain": "kinship", "type": "fact", "surface": "David is parent of Eve", "proposition": {"relation": "is_parent_of", "confirmed": true}, "explanation": "Basic kinship fact: David is parent of Eve"}
{"id": "teach_kinship_005", "domain": "kinship", "type": "fact", "surface": "Alice is parent of Frank", "proposition": {"relation": "is_parent_of", "confirmed": true}, "explanation": "Basic kinship fact: Alice is parent of Frank"}
{"id": "teach_kinship_006", "domain": "kinship", "type": "fact", "surface": "Frank is parent of Grace", "proposition": {"relation": "is_parent_of", "confirmed": true}, "explanation": "Basic kinship fact: Frank is parent of Grace"}
{"id": "teach_kinship_007", "domain": "kinship", "type": "fact", "surface": "Henry is parent of Alice", "proposition": {"relation": "is_parent_of", "confirmed": true}, "explanation": "Basic kinship fact: Henry is parent of Alice"}
{"id": "teach_kinship_008", "domain": "kinship", "type": "fact", "surface": "Iris is parent of Bob", "proposition": {"relation": "is_parent_of", "confirmed": true}, "explanation": "Basic kinship fact: Iris is parent of Bob"}
{"id": "teach_kinship_009", "domain": "kinship", "type": "fact", "surface": "Jack is parent of Carol", "proposition": {"relation": "is_parent_of", "confirmed": true}, "explanation": "Basic kinship fact: Jack is parent of Carol"}
{"id": "teach_kinship_010", "domain": "kinship", "type": "fact", "surface": "Kate is parent of Dave", "proposition": {"relation": "is_parent_of", "confirmed": true}, "explanation": "Basic kinship fact: Kate is parent of Dave"}
{"id": "teach_kinship_011", "domain": "kinship", "type": "reasoning_transitive", "surface": "If A is parent of B, and B is parent of C, then A is grandparent of C", "proposition": {"relation": "is_grandparent_of", "derived": "transitive_ancestor"}, "explanation": "Transitivity: parent of parent = grandparent"}
{"id": "teach_kinship_012", "domain": "kinship", "type": "reasoning_asymmetric", "surface": "If A is parent of B, then B is NOT parent of A", "proposition": {"relation": "is_parent_of", "not_symmetric": true}, "explanation": "Kinship relations are asymmetric: parent \u2260 child"}
{"id": "teach_kinship_013", "domain": "kinship", "type": "ambiguity", "surface": "Tom's father's brother is Tom's uncle (one reading) but might also be a cousin depending on family tree", "proposition": {"relation": "is_uncle_of", "ambiguous": true}, "explanation": "Some kinship terms can have multiple valid interpretations"}
{"id": "teach_color_014", "domain": "color", "type": "fact", "surface": "red is warm", "proposition": {"relation": "is_warm", "confirmed": true}, "explanation": "Basic color fact: red is warm"}
{"id": "teach_color_015", "domain": "color", "type": "fact", "surface": "blue is cool", "proposition": {"relation": "is_cool", "confirmed": true}, "explanation": "Basic color fact: blue is cool"}
{"id": "teach_color_016", "domain": "color", "type": "fact", "surface": "green is cool", "proposition": {"relation": "is_cool", "confirmed": true}, "explanation": "Basic color fact: green is cool"}
{"id": "teach_color_017", "domain": "color", "type": "fact", "surface": "yellow is warm", "proposition": {"relation": "is_warm", "confirmed": true}, "explanation": "Basic color fact: yellow is warm"}
{"id": "teach_color_018", "domain": "color", "type": "fact", "surface": "orange is warm", "proposition": {"relation": "is_warm", "confirmed": true}, "explanation": "Basic color fact: orange is warm"}
{"id": "teach_color_019", "domain": "color", "type": "fact", "surface": "purple is cool", "proposition": {"relation": "is_cool", "confirmed": true}, "explanation": "Basic color fact: purple is cool"}
{"id": "teach_color_020", "domain": "color", "type": "fact", "surface": "red is primary", "proposition": {"relation": "is_primary", "confirmed": true}, "explanation": "Basic color fact: red is primary"}
{"id": "teach_color_021", "domain": "color", "type": "fact", "surface": "blue is primary", "proposition": {"relation": "is_primary", "confirmed": true}, "explanation": "Basic color fact: blue is primary"}
{"id": "teach_color_022", "domain": "color", "type": "fact", "surface": "yellow is primary", "proposition": {"relation": "is_primary", "confirmed": true}, "explanation": "Basic color fact: yellow is primary"}
{"id": "teach_color_023", "domain": "color", "type": "fact", "surface": "orange is secondary", "proposition": {"relation": "is_secondary", "confirmed": true}, "explanation": "Basic color fact: orange is secondary"}
{"id": "teach_color_024", "domain": "color", "type": "hierarchy", "surface": "Primary colors are red, blue, and yellow. Secondary colors like orange are made from primaries.", "proposition": {"hierarchy": "primary > secondary"}, "explanation": "Color hierarchy: primaries combine to form secondaries"}
{"id": "teach_color_025", "domain": "color", "type": "scale", "surface": "Temperature scale: red (warmest) > orange > yellow > green > blue > purple (coolest)", "proposition": {"scale": "warm_cool", "ordering": "red>blue"}, "explanation": "Color temperature forms a continuous scale"}
{"id": "teach_color_026", "domain": "color", "type": "ambiguity", "surface": "Whether a hue is 'warm' or 'cool' can depend on context and comparison. Turquoise might be cool or warm depending on surroundings.", "proposition": {"relation": "is_warm", "context_dependent": true}, "explanation": "Color warmth is contextual"}
{"id": "teach_spatial_027", "domain": "spatial", "type": "fact", "surface": "A is left of B", "proposition": {"relation": "is_left_of", "confirmed": true}, "explanation": "Spatial fact: A is left of B"}
{"id": "teach_spatial_028", "domain": "spatial", "type": "fact", "surface": "B is right of A", "proposition": {"relation": "is_right_of", "confirmed": true}, "explanation": "Spatial fact: B is right of A"}
{"id": "teach_spatial_029", "domain": "spatial", "type": "fact", "surface": "C is above B", "proposition": {"relation": "is_above", "confirmed": true}, "explanation": "Spatial fact: C is above B"}
{"id": "teach_spatial_030", "domain": "spatial", "type": "fact", "surface": "D is below C", "proposition": {"relation": "is_below", "confirmed": true}, "explanation": "Spatial fact: D is below C"}
{"id": "teach_spatial_031", "domain": "spatial", "type": "fact", "surface": "E is in front of F", "proposition": {"relation": "is_in_front_of", "confirmed": true}, "explanation": "Spatial fact: E is in front of F"}
{"id": "teach_spatial_032", "domain": "spatial", "type": "fact", "surface": "F is behind E", "proposition": {"relation": "is_behind", "confirmed": true}, "explanation": "Spatial fact: F is behind E"}
{"id": "teach_spatial_033", "domain": "spatial", "type": "reasoning_symmetric", "surface": "If A is left of B, then B is right of A (symmetric)", "proposition": {"relation": "is_left_of", "symmetric_inverse": "is_right_of"}, "explanation": "Spatial relations have symmetric inverses"}
{"id": "teach_spatial_034", "domain": "spatial", "type": "reasoning_transitive", "surface": "If A is left of B and B is left of C, then A is left of C", "proposition": {"relation": "is_left_of", "transitive": true}, "explanation": "Spatial left/right relations are transitive"}
{"id": "teach_spatial_035", "domain": "spatial", "type": "ambiguity", "surface": "Whether something is 'in front of' depends on perspective and frame of reference", "proposition": {"relation": "is_in_front_of", "perspective_dependent": true}, "explanation": "Front/behind are perspective-relative"}
{"id": "teach_modal_036", "domain": "reasoning", "type": "modal_necessity", "surface": "If two things are identical, they must have the same properties", "proposition": {"modality": "necessity", "logic": "identity_law"}, "explanation": "Logical necessity from identity"}
{"id": "teach_modal_037", "domain": "reasoning", "type": "modal_possibility", "surface": "It is possible that some unobserved objects have properties we haven't seen", "proposition": {"modality": "possibility", "logic": "open_world"}, "explanation": "Possibility in open-world reasoning"}
{"id": "teach_modal_038", "domain": "reasoning", "type": "uncertainty_partial_info", "surface": "When we have partial information, we should say 'some X have property Y' rather than 'all X have Y'", "proposition": {"modality": "qualified", "quantifier": "some"}, "explanation": "Proper quantification under uncertainty"}
{"id": "teach_conflict_039", "domain": "reasoning", "type": "contradiction", "surface": "If you observe both P and not-P, one of the following must hold: (1) context differs, (2) time differs, (3) error in observation", "proposition": {"conflict": "contradiction_resolution", "paths": 3}, "explanation": "Contradiction resolution strategies"}
{"id": "teach_gap_040", "domain": "reasoning", "type": "knowledge_gap", "surface": "When information is missing, it is better to acknowledge the gap than to speculate", "proposition": {"handling": "gap_explicit"}, "explanation": "Honest gap acknowledgment"}
{"id": "teach_confidence_041", "domain": "reasoning", "type": "confidence_level", "surface": "This statement has high confidence because {reason}", "proposition": {"meta": "confidence", "level": "high"}, "explanation": "Confidence level: high"}
{"id": "teach_confidence_042", "domain": "reasoning", "type": "confidence_level", "surface": "This statement has medium confidence because {reason}", "proposition": {"meta": "confidence", "level": "medium"}, "explanation": "Confidence level: medium"}
{"id": "teach_confidence_043", "domain": "reasoning", "type": "confidence_level", "surface": "This statement has low confidence because {reason}", "proposition": {"meta": "confidence", "level": "low"}, "explanation": "Confidence level: low"}
{"id": "teach_var_044", "domain": "kinship", "type": "hierarchy", "surface": "Great-grandparent is further ancestor than grandparent", "proposition": {"category": "hierarchy"}, "explanation": "Kinship hierarchy"}
{"id": "teach_var_045", "domain": "color", "type": "contrast", "surface": "Complementary colors contrast maximally", "proposition": {"category": "contrast"}, "explanation": "Color contrast"}
{"id": "teach_var_046", "domain": "spatial", "type": "distance", "surface": "Left-of is preserved at different distances", "proposition": {"category": "distance"}, "explanation": "Spatial distance"}
{"id": "teach_var_047", "domain": "reasoning", "type": "conjunction", "surface": "Both conditions must hold simultaneously", "proposition": {"category": "conjunction"}, "explanation": "Logical conjunction"}
{"id": "teach_var_048", "domain": "reasoning", "type": "disjunction", "surface": "At least one condition must hold", "proposition": {"category": "disjunction"}, "explanation": "Logical disjunction"}
{"id": "teach_var_049", "domain": "reasoning", "type": "conditional", "surface": "If P then Q; we know P, therefore Q", "proposition": {"category": "conditional"}, "explanation": "Conditional reasoning"}
{"id": "teach_var_050", "domain": "reasoning", "type": "negation", "surface": "Not-P means absence of P property", "proposition": {"category": "negation"}, "explanation": "Negation handling"}
{"id": "teach_var_051", "domain": "reasoning", "type": "xor", "surface": "Either A or B but not both", "proposition": {"category": "xor"}, "explanation": "Exclusive or"}
{"id": "teach_var_052", "domain": "reasoning", "type": "or", "surface": "A or B or both", "proposition": {"category": "or"}, "explanation": "Inclusive or"}
{"id": "teach_var_053", "domain": "reasoning", "type": "universal", "surface": "All X have property Y", "proposition": {"category": "universal"}, "explanation": "All quantification"}
{"id": "teach_var_054", "domain": "reasoning", "type": "existential", "surface": "Some X have property Y", "proposition": {"category": "existential"}, "explanation": "Some quantification"}
{"id": "teach_var_055", "domain": "reasoning", "type": "universal_negative", "surface": "No X have property Y", "proposition": {"category": "universal_negative"}, "explanation": "None quantification"}
{"id": "teach_var_056", "domain": "reasoning", "type": "exception", "surface": "Generally true except for edge case", "proposition": {"category": "exception"}, "explanation": "Exception handling"}
{"id": "teach_var_057", "domain": "reasoning", "type": "default", "surface": "Normally true unless exception applies", "proposition": {"category": "default"}, "explanation": "Default reasoning"}
{"id": "teach_var_058", "domain": "reasoning", "type": "transitivity", "surface": "Transitive relations compose", "proposition": {"category": "transitivity"}, "explanation": "Transitivity check"}
{"id": "teach_var_059", "domain": "spatial", "type": "reciprocal", "surface": "If A is left of B, then B is right of A", "proposition": {"category": "reciprocal"}, "explanation": "Reciprocal relations"}
{"id": "teach_var_060", "domain": "reasoning", "type": "mereology", "surface": "Parts are subsets of wholes", "proposition": {"category": "mereology"}, "explanation": "Mereology part-whole"}
{"id": "teach_var_061", "domain": "reasoning", "type": "identity", "surface": "An object remains identical over time despite changes", "proposition": {"category": "identity"}, "explanation": "Identity persistence"}
{"id": "teach_var_062", "domain": "color", "type": "mixing", "surface": "Red mixed with blue produces purple", "proposition": {"category": "mixing"}, "explanation": "Color mixing"}
{"id": "teach_var_063", "domain": "color", "type": "extremes", "surface": "Pure red is the warmest, pure blue is the coolest", "proposition": {"category": "extremes"}, "explanation": "Temperature extremes"}
{"id": "teach_var_064", "domain": "kinship", "type": "distance", "surface": "Closer relatives share more recent common ancestors", "proposition": {"category": "distance"}, "explanation": "Family distance"}
{"id": "teach_var_065", "domain": "kinship", "type": "sibling", "surface": "Siblings share the same parents", "proposition": {"category": "sibling"}, "explanation": "Sibling relations"}
{"id": "teach_var_066", "domain": "kinship", "type": "cousin", "surface": "First cousins share grandparents", "proposition": {"category": "cousin"}, "explanation": "Cousin classification"}
{"id": "teach_var_067", "domain": "spatial", "type": "containment", "surface": "If A is in B and B is in C, then A is in C", "proposition": {"category": "containment"}, "explanation": "Spatial containment"}
{"id": "teach_var_068", "domain": "spatial", "type": "reversal", "surface": "If A faces east, then the back faces west", "proposition": {"category": "reversal"}, "explanation": "Direction reversal"}
{"id": "teach_var_069", "domain": "spatial", "type": "relative", "surface": "Between can only hold for three or more items", "proposition": {"category": "relative"}, "explanation": "Relative position"}
{"id": "teach_var_070", "domain": "reasoning", "type": "exclusive", "surface": "Nothing can be both red and blue at the same time", "proposition": {"category": "exclusive"}, "explanation": "Mutual exclusion"}
{"id": "teach_var_071", "domain": "reasoning", "type": "overlap", "surface": "Some kinship relations can overlap", "proposition": {"category": "overlap"}, "explanation": "Partial overlap"}
{"id": "teach_var_072", "domain": "reasoning", "type": "modal_iteration", "surface": "Possibility of necessity may differ from necessity", "proposition": {"category": "modal_iteration"}, "explanation": "Modal iteration"}
{"id": "teach_var_073", "domain": "reasoning", "type": "scope", "surface": "The scope of quantifiers affects meaning", "proposition": {"category": "scope"}, "explanation": "Scope ambiguity"}
{"id": "teach_extra_074", "domain": "color", "type": "composition", "surface": "Green is made from blue and yellow", "proposition": {"category": "composition"}, "explanation": "Secondary color mixing"}
{"id": "teach_extra_075", "domain": "kinship", "type": "ancestor", "surface": "All parents are ancestors", "proposition": {"category": "ancestor"}, "explanation": "Ancestor relation"}
{"id": "teach_extra_076", "domain": "kinship", "type": "descendant", "surface": "All children are descendants", "proposition": {"category": "descendant"}, "explanation": "Descendant relation"}
{"id": "teach_extra_077", "domain": "color", "type": "saturation", "surface": "Saturation measures color intensity", "proposition": {"category": "saturation"}, "explanation": "Hue saturation"}
{"id": "teach_extra_078", "domain": "color", "type": "brightness", "surface": "Brightness measures lightness", "proposition": {"category": "brightness"}, "explanation": "Brightness value"}
{"id": "teach_extra_079", "domain": "color", "type": "scheme", "surface": "Monochromatic uses shades of one hue", "proposition": {"category": "scheme"}, "explanation": "Monochromatic scheme"}
{"id": "teach_extra_080", "domain": "spatial", "type": "axes", "surface": "Three axes: horizontal, vertical, depth", "proposition": {"category": "axes"}, "explanation": "Spatial orientation axes"}
{"id": "teach_extra_081", "domain": "spatial", "type": "projection", "surface": "Spatial relationships change with viewpoint", "proposition": {"category": "projection"}, "explanation": "Perspective projection"}
{"id": "teach_extra_082", "domain": "spatial", "type": "permanence", "surface": "Objects continue existing when not seen", "proposition": {"category": "permanence"}, "explanation": "Object permanence"}
{"id": "teach_extra_083", "domain": "reasoning", "type": "taxonomy", "surface": "Species within genus within family", "proposition": {"category": "taxonomy"}, "explanation": "Categorical hierarchy"}
{"id": "teach_extra_084", "domain": "reasoning", "type": "continuum", "surface": "Properties can vary continuously", "proposition": {"category": "continuum"}, "explanation": "Gradual property change"}
{"id": "teach_extra_085", "domain": "reasoning", "type": "discrete", "surface": "Some properties have distinct categories", "proposition": {"category": "discrete"}, "explanation": "Discrete classification"}
{"id": "teach_extra_086", "domain": "reasoning", "type": "boundary", "surface": "Boundaries between categories can be unclear", "proposition": {"category": "boundary"}, "explanation": "Boundary uncertainty"}
{"id": "teach_extra_087", "domain": "reasoning", "type": "prototype", "surface": "Some category members are more typical", "proposition": {"category": "prototype"}, "explanation": "Prototype effects"}
{"id": "teach_extra_088", "domain": "reasoning", "type": "analogy", "surface": "Structurally similar cases should behave similarly", "proposition": {"category": "analogy"}, "explanation": "Analogy reasoning"}
{"id": "teach_extra_089", "domain": "reasoning", "type": "causation", "surface": "Causes precede and necessitate effects", "proposition": {"category": "causation"}, "explanation": "Causal reasoning"}
{"id": "teach_extra_090", "domain": "reasoning", "type": "correlation", "surface": "Correlation does not imply causation", "proposition": {"category": "correlation"}, "explanation": "Correlation distinction"}
{"id": "teach_extra_091", "domain": "reasoning", "type": "counterfactual", "surface": "If P had occurred, Q would have occurred", "proposition": {"category": "counterfactual"}, "explanation": "Counterfactual reasoning"}
{"id": "teach_extra_092", "domain": "reasoning", "type": "temporal", "surface": "Events occur in temporal sequence", "proposition": {"category": "temporal"}, "explanation": "Temporal reasoning"}
{"id": "teach_extra_093", "domain": "reasoning", "type": "probability", "surface": "Probability ranges from impossible to certain", "proposition": {"category": "probability"}, "explanation": "Probability reasoning"}
