(truth
(eval `(store ivan ,ivan))
(eval `(store bob ,bob))
(eval `(store isaac ,isaac))
(eval `(store zoe ,zoe))
(insert ivan private)
(insert bob private)
(insert isaac private)
(insert zoe private)
)
(show
(findallinset colonel (eqp sex m))
(findallinset private (eqp sex m))
(findallinset private (nep univ umdcp))
(findallinset private (and (eqp sex m) (gtp weight 150)))
)