A cold cycler celebrates.
A cycler breaks open a bottle of champagne to celebrate.
There are many ways for the cycler to celebrate, so it's impossible to know that he breaks open a bottle of champagne.
exists s1 x1 x2.(a_topic(x1) & n_celebrate(x1) & of(x1,x2) & n_cycler(x2) & a_cold(s1) & Theme(s1,x1))
exists e1 p1 x1.(exists e2 p2 x2 x3.(Topic(e2,p2) & exists e3.(Actor(e3,x1) & v_celebrate(e3)) & Theme(e2,x2) & Actor(e2,x1) & v_open(e2) & of(x2,x3) & n_champagne(x3) & n_bottle(x2)) & Topic(e1,p1) & Actor(e1,x1) & v_break(e1) & n_cycler(x1))