test1t: X = (3)
test1t: X = (3)
test1ta: X = (3)
test2: Atts = ([2,3])
test2t: Atts = ([2,3])
test3t (clause 1): Atts = ([2,3,4])
test3t (clause 2): Atts = ([2,3])
test4t: Atts = ([2,3])
test5t: Atts = ([2,3])
