Inside a mostly empty warehouse-like building, an elephant impossibly balances itself on its trunk as a man watches from nearby.
Elephants performed a miracle.
The miracle that the elephant performed is that he impossibly balanced itself on its trunk.
exists e1 p1 s1 s2 s3 x1 x2 x3.(inside(e1,x2) & n_building(x2) & a_warehouse-like(s3) & Theme(s3,x2) & a_empty(s2) & Theme(s2,x2) & r_mostly(x2) & a_impossibly(s1) & Manner(e1,s1) & exists e2 s4 x4.(from(e2,s4) & Theme(s4,x4) & a_nearby(s4) & Actor(e2,x4) & v_watch(e2) & n_man(x4)) & as(e1,p1) & on(e1,x3) & n_trunk(x3) & of(x3,x1) & n_thing(x1) & Theme(e1,x2) & Actor(e1,x1) & v_balance(e1) & n_thing(x2) & n_elephant(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_perform(e1) & n_miracle(x2) & n_elephant(x1))