Emma liked that Avery proved that the block was rented to the boy by a pony .
* block ( x _ 7 ) ; * boy ( x _ 12 ) ; like . agent ( x _ 1 , Emma ) AND like . ccomp ( x _ 1 , x _ 4 ) AND prove . agent ( x _ 4 , Avery ) AND prove . ccomp ( x _ 4 , x _ 9 ) AND rent . theme ( x _ 9 , x _ 7 ) AND rent . recipient ( x _ 9 , x _ 12 ) AND rent . agent ( x _ 9 , x _ 15 ) AND pony ( x _ 15 )