Two monks are walking down steep stairs.
Two monks wearing robes are seen walking down the monestary stairs.
Monks can be dressed in clothes other than robes. Just because monks are walking down steep stairs doesn't mean the stairs belong to a monestary.
exists e1 s1 x1 x2.(down(e1,x2) & n_stair(x2) & a_steep(s1) & Theme(s1,x2) & Actor(e1,x1) & v_walk(e1) & n_monk(x1) & card_eq_2(x1))
exists e1 e2 p1 s1 x1 x2 x3 x4.(n_stair(x4) & a_monestary(s1) & Theme(s1,x4) & exists e3 s2.(a_down(s2) & Manner(e3,s2) & Theme(e3,x4) & Actor(e3,x1) & v_walk(e3)) & Recipient(e2,p1) & Topic(e2,x1) & v_see(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_robe(x3) & (x1 = x2) & n_monk(x1) & card_eq_2(x1))