A woman is walking across the street eating a banana, while a man is following with his briefcase.
An actress and her favorite assistant talk a walk in the city.
The people's profession and relationship is not implied simply because they are walking together. It is now known that the woman is an actress and the man following her is her favorite assistant.
exists e1 e2 p1 x1 x2 x3 x5.(n_briefcase(x5) & of(x5,x2) & n_male(x2) & n_street(x2) & for(e1,e2) & exists e3 x4.(with(e3,x5) & Actor(e3,x4) & v_follow(e3) & n_man(x4)) & while(e2,p1) & Theme(e2,x3) & Actor(e2,x1) & v_eat(e2) & n_banana(x3) & across(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_woman(x1))
exists s1 s2 x1 x3 x4 x5.(n_city(x5) & a_topic(s1) & all x2.(n_walk(x2) -> (subset_of(x3,s1) & in(x3,x5) & for(x3,x2))) & n_talk(x3) & of(x3,x4) & n_assistant(x4) & a_favorite(s2) & Theme(s2,x3) & of(x3,x1) & n_female(x1) & subset_of(x1,s1) & n_actress(x1))