A father and son trying to find shelter off of the streets.
The father and son are at home.
The father and son can't be trying to find shelter if they are at home.
exists e1 p1 s1 x1 x2 x3 x5.(n_street(x5) & a_topic(s1) & subset_of(x2,s1) & Topic(e1,p1) & Actor(e1,x3) & v_try(e1) & exists e2 x4.(of(e2,x5) & r_off(e2) & Theme(e2,x4) & Actor(e2,x3) & v_find(e2) & n_shelter(x4)) & (x2 = x3) & n_son(x2) & subset_of(x1,s1) & n_father(x1))
exists p1 x1 x2 x3.(n_son(x3) & n_father(x2) & subset_of(x3,x1) & subset_of(x2,x1) & exists x4.(at(x1,x4) & n_home(x4)))