From 8a53efa4b965a4c1b85502a6ca798018637e83a7 Mon Sep 17 00:00:00 2001
From: Philippe Desjardins-Proulx <philippe.d.proulx@gmail.com>
Date: Thu, 21 Sep 2017 10:49:42 -0400
Subject: [PATCH] revise

---
 talks/2017_Seminar.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/talks/2017_Seminar.html b/talks/2017_Seminar.html
index e2aefdd95..f5d11fecd 100644
--- a/talks/2017_Seminar.html
+++ b/talks/2017_Seminar.html
@@ -239,7 +239,7 @@ <h1>Markov Logic</h1>
             <br/>
 
             \[P(Cancer(Bob) | Smoking(Anna) \mbox{ and } Friends(Anna, Bob)).\]
-            \[P(Cancer(Bob) | Smoking(Anna), Friends(x, y) \Leftrightarrow Friends(y, x)).\]
+            \[P(Friends(x, y) \Leftrightarrow Friends(y, x) | ...).\]
 
           </section>
           <section>