∀x (Podcast(x) → ¬Novel(x))
∀x((∃y (BornIn(x, y) ∧ City(y) ∧ LocatedIn(y,america)) → American(x))
∀x ∀y ((Novel(x) ∧ WrittenBy(x, y)) → WritesNovel(y))
American(dani_Shapiro) ∧ Writer(dani_Shapiro)
WrittenBy(family_History, dani_Shapiro)
Novel(family_History) ∧ WrittenIn(family_History, yr2003)
Podcast(family_Secrets) ∧ CreatedBy(family_Secrets, dani_Shapiro)
City(boston) ∧ American(boston)
BornIn(dani_Shapiro, boston)