Add atoms.

app.py

@@ -459,15 +459,49 @@ ATOMS_COMMENTARY = (
 # -------------------------
 # Static Gradio UI
 # -------------------------
-with gr.Blocks(title="PSL Minimal-Circuit Model (Static)") as demo:
-    gr.Markdown("## PSL Minimal-Circuit • Full Model Overview")
-    gr.Markdown(f"**JVM status:**\n\n{JVM_STATUS}")
-    gr.Markdown(COMMENTARY_MD)
-    gr.Image(value=GRAPH_PATH, label="Rule Graph (green = positive head, red dashed = negated head)")
-    gr.Markdown(MODEL_SUMMARY_MD)
-    gr.Markdown("---")
-    gr.Markdown(ATOMS_COMMENTARY)
-    gr.Dataframe(value=ATOMS_TABLE, label="Atoms Summary (counts)", interactive=False)
+# --- Static Gradio UI with Tabs ---
+with gr.Blocks(title="PSL Minimal-Circuit • Static") as demo:
+    gr.Markdown("## PSL Minimal-Circuit • Static Overview")
+
+    with gr.Tabs():
+        with gr.Tab("Rules & Model"):
+            gr.Markdown(f"**JVM status:**\n\n{JVM_STATUS}")
+            gr.Markdown(COMMENTARY_MD)
+            gr.Image(value=GRAPH_PATH, label="Rule Graph (green = positive head, red dashed = negated head)")
+            gr.Markdown(MODEL_SUMMARY_MD)
+
+        with gr.Tab("Atoms"):
+            ATOMS_COMMENTARY = (
+                "### Facts/Atoms Overview\n"
+                "- **Observations** are known inputs (fixed evidence).\n"
+                "- **Targets** are latent atoms the model will **infer** "
+                "(e.g., whether `C1`, `C2`, `C3` are `Minimal`).\n"
+                "- **Truth** (if provided) is held-out gold used to **evaluate** performance; "
+                "it is not used during inference.\n"
+                "_Note: the same ground atom must not appear in both Observations and Targets._"
+            )
+            gr.Markdown(ATOMS_COMMENTARY)
+
+            # compact counts table: rows=predicate, cols=Observations/Targets/Truth
+            def _atoms_summary_table(atoms=ATOMS):
+                rows = []
+                for pname, parts in atoms.items():
+                    obs = len(parts.get("OBS", pd.DataFrame()))
+                    tgt = len(parts.get("TARGETS", pd.DataFrame()))
+                    tru = len(parts.get("TRUTH", pd.DataFrame()))
+                    rows.append({
+                        "Predicate": pname,
+                        "Observations": obs,
+                        "Targets": tgt,
+                        "Truth": tru
+                    })
+                return pd.DataFrame(rows).sort_values("Predicate").reset_index(drop=True)
+
+            gr.Dataframe(
+                value=_atoms_summary_table(ATOMS),
+                label="Atoms Summary (counts)",
+                interactive=False
+            )
 
 if __name__ == "__main__":
     demo.launch()