Ethan believed that Charlotte wished to run .
believe . agent ( x _ 1 , Ethan ) AND believe . ccomp ( x _ 1 , x _ 4 ) AND wish . agent ( x _ 4 , Charlotte ) AND wish . xcomp ( x _ 4 , x _ 6 ) AND run . agent ( x _ 6 , Charlotte )