logical_forms: (infer (heat higher world1) (friction higher world1) (friction lower world1)) (infer (heat higher world2) (friction higher world2) (friction lower world2))
logical_form_pretty: qrel(heat, higher, world1) -> qrel(friction, higher, world1) ; qrel(friction, lower, world1)
question: Tom twisted a piece of wire around and around until the piece snapped off, which he noticed left the ends much hotter than when he just snipped the wire. The twisting repeatedly caused _____ then snipping? (A) more friction (B) less friction