premise: Children nap on a floor while others stand by.
hypothesis: Children are napping on a floor.
explanation_1: "Children nap" means that children are napping.
explanation_2: Nap and napping is the same action in different tense.
explanation_3: Children nap or are napping on a floor.
premise_logic: (x)
hypothesis_logic: exists e1 x1 x2.(on(e1,x2) & n_floor(x2) & Actor(e1,x1) & v_nap(e1) & n_child(x1))