(truth
(eval `(store alice ,alice))
)
(show
(findany t)
(findany (ltp salary 50000))
)