A family is hiking across a rocky landscape.
The family got across safetly
when a family is back safetly they would never have been hiking on that rocky landscape
exists e1 s1 x1 x2.(across(e1,x2) & n_landscape(x2) & a_rocky(s1) & Theme(s1,x2) & Actor(e1,x1) & v_hike(e1) & n_family(x1))
exists e1 s1 s2 x1.(n_family(x1) & a_safetly(s2) & Manner(e1,s2) & a_across(s1) & Manner(e1,s1) & Actor(e1,x1) & v_get(e1))