premise: Chevrolet car on display at a convention
hypothesis: At a convention there is a Chevrolet car on display.
explanation_1: The car is on display at the convention.
explanation_2: A Chevrolet car on display is the same as Chevrolet car on display.
explanation_3: Chevrolet car has been displayed at a convention
premise_logic: exists x1 x2 x3 x4.(a_topic(x1) & on(x1,x3) & at(x3,x4) & n_convention(x4) & n_display(x3) & n_car(x1) & (x1 = x2) & ne_nam_chevrolet(x2))
hypothesis_logic: exists p1 x1 x2.(at(p1,x2) & n_convention(x2) & exists x3 x4 x5.((x1 = x3) & on(x3,x5) & n_display(x5) & n_car(x3) & of(x3,x4) & n_chevrolet(x4)))