(a b 1)
(a c 1)
(a d 1)