(truth
(eval `(store steve ,steve))
(eval `(store trent ,trent))
(eval `(store trudy ,trudy))
(eval `(store walter ,walter))
(modify walter height 170)
(modify steve age 25)
(modify trent weight 150)
(modify trudy sex f)
)