The man performs a traditional ritual.
A man is performing a ritual.
If the man performs a ritual then the man is performign a ritual.
exists e1 s1 x1 x2.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_perform(e1) & n_ritual(x2) & a_traditional(s1) & Theme(s1,x2))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_perform(e1) & n_ritual(x2) & n_man(x1))