Mason tolerated that a cake was shortened by the lion .
* lion ( x _ 9 ) ; tolerate . agent ( x _ 1 , Mason ) AND tolerate . ccomp ( x _ 1 , x _ 6 ) AND cake ( x _ 4 ) AND shorten . theme ( x _ 6 , x _ 4 ) AND shorten . agent ( x _ 6 , x _ 9 )