% public_sat
t = [[]]
f = []
x = [[x]]
[and,x,y] = [[x,y]]
[or,y,x] = [[x],[x,y],[y]]
[no,x] = [[]]