logical_forms: (infer (friction lower world1) (smoothness higher world1) (smoothness higher world2)) (infer (friction lower world2) (smoothness higher world2) (smoothness higher world1))
logical_form_pretty: qrel(friction, lower, world1) -> qrel(smoothness, higher, world1) ; qrel(smoothness, higher, world2)
question: A knife cuts through butter easier than through meat due to the butter having low friction compared to the meat. This means that the _____ is smoother (A) butter (B) meat