(truth
(eval `(store alice ,alice))
(eval `(store bob ,bob))
(eval `(store eve ,eve))
(insert alice private)
(insert bob lieutenant)
(insert eve major)
)