(bind-func cpBBContainsBB
(lambda (bb:cpBB other:cpBB)
(convert (and
(<= (tref bb 0) (tref other 0))
(>= (tref bb 2) (tref other 2))
(<= (tref bb 1) (tref other 1))
(>= (tref bb 3) (tref other 3)))
cpBool)))