logical_forms: (infer (smoothness higher world1) (friction lower world2) (friction lower world1)) (infer (smoothness higher world2) (friction lower world1) (friction lower world2))
logical_form_pretty: qrel(smoothness, higher, world1) -> qrel(friction, lower, world2) ; qrel(friction, lower, world1)
question: Emily ran her hand through her hair, and then over the skin on her arm. She noticed that her skin felt smoother, which means that the one with less friction is her (A) hair (B) skin.