Smoking is not good for health, it harms your lungs.
Smoking can cause cancer.
Smoking may harm your lungs and be not good for health without causing cancer.
exists x1 x3.(-exists p1 s1 x2.(for(s1,x2) & exists e1.(Theme(e1,x3) & Actor(e1,x1) & v_harm(e1)) & that(x2,p1) & n_health(x2) & Theme(s1,x1) & a_good(s1)) & n_lung(x3) & of(x3,x1) & n_person(x1) & n_thing(x1) & n_smoking(x1))
exists e1 p1 x1.(exists e2 x2.(Theme(e2,x2) & Actor(e2,x1) & v_cause(e2) & n_cancer(x2)) & Topic(e1,p1) & Actor(e1,x1) & v_can(e1) & n_smoking(x1))