T
Size: a a a
AI
ST
GA
(and (if a? (f :a) true)
(if b? (g :b) true)
true)
(and (or (not a) (f a)
(or (not b) (g b))))
T
(and (or (not a) (f a)
(or (not b) (g b))))
T
(boolean (and (or (not a) (f a))
(or (not b) (g b))))
AI
AI
D
GA
GA
DL
DL
(and (f a) (g b))
GA
T
(and (or (some-> a f) true)
(or (some-> g b) true))
T
D
(and (or (some-> a f) true)
(or (some-> g b) true))
T
D