Emma declared that the coin was examined by Andrew .
* coin ( x _ 4 ) ; declare . agent ( x _ 1 , Emma ) AND declare . ccomp ( x _ 1 , x _ 6 ) AND examine . theme ( x _ 6 , x _ 4 ) AND examine . agent ( x _ 6 , Andrew )