A child that is dressed as Spiderman is ringing the doorbell.
A child dressed as spiderman is trick or treating
Though it is the logical assumption, it's not specified that the child was trick or treating.
exists e2 e1 x1 x2 x3 x4.(n_doorbell(x4) & ne_org_spiderman(x3) & Theme(e2,x4) & Actor(e2,x1) & v_ring(e2) & as(e1,x3) & Theme(e1,x2) & v_dress(e1) & (x1 = x2) & n_child(x1))
exists e1 p1 x1 x2 x3.(exists x4.((x1 = x4) & (n_trick(x4) | n_treat(x4))) & as(e1,x3) & n_spiderman(x3) & Theme(e1,x2) & v_dress(e1) & (x1 = x2) & n_child(x1))