A cat valued that the pretzel was wired to Liam .
* pretzel ( x _ 5 ) ; cat ( x _ 1 ) AND value . agent ( x _ 2 , x _ 1 ) AND value . ccomp ( x _ 2 , x _ 7 ) AND wire . theme ( x _ 7 , x _ 5 ) AND wire . recipient ( x _ 7 , Liam )