The girl supported that Ava wanted to run .
* girl ( x _ 1 ) ; support . agent ( x _ 2 , x _ 1 ) AND support . ccomp ( x _ 2 , x _ 5 ) AND want . agent ( x _ 5 , Ava ) AND want . xcomp ( x _ 5 , x _ 7 ) AND run . agent ( x _ 7 , Ava )