a guy shaving his facial hair in the restroom.
The man is using shaving cream.
Just because the man was shaving his facial hair does not mean he was using shaving cream.
exists e1 s1 x1 x2 x3 x4.(n_restroom(x4) & a_topic(x1) & in(e1,x4) & Theme(e1,x3) & Actor(e1,x2) & v_shave(e1) & n_hair(x3) & a_facial(s1) & Theme(s1,x3) & of(x3,x1) & n_male(x1) & (x1 = x2) & n_guy(x1))
exists e2 e1 x1 x2.(n_man(x1) & Theme(e2,x2) & Actor(e2,x1) & v_use(e2) & n_cream(x2) & Actor(e1,x2) & v_shave(e1))