p = Not ((ap "A" [] :|: ap "B" []) :&: Forall (Variable "x") (ap "C" ["x"])) :|: (ap "D" [] :|: ap "E" [])
p = Not ((ap "A" [] :|: ap "B" []) :&: Forall (Variable "x") (ap "C" ["x"])) :|: (ap "D" [] :|: ap "E" [])
p = Not ((ap "A" [] :|: ap "B" []) :&: Forall (Variable "x") (ap "C" ["x"])) :|: (ap "D" [] :|: ap "E" [])