F a & x.("(x)x[V]==10")
F x.("(x)x[p]['b']==22")
F x.("(x)x[p]['a']>0")
F x.("(x)x[p]['a']>9")
F x.("(x)'z' in x[att]")
F x.(b & "(x)    x[p]['a']>9")
a | b & x.("(x)x[V]==4 or x[V]==2")
F b & x.(F y.(a & "(x,y)x[V]==y[V]"))
F ((a | b) & z.((X false) & "(z)z[#] == 2"))
F ((a | b) & z.((X false) & "(z)z[#] == 2"))
F x.(b & "(x)PROP.IN_DIC(x[p],'b',22)")
F x.(b & "(x)PROP.IN_DIC_2(x,p,'b',22)")

_SET ?vals 'a','b'
F x.(b & "(x) x[p][?vals]>9")

_WRITE
_BYE

F(a & x.("(x)x[V]==10"))
F (x.("(x)x[p]['b']==22"))

