From SIGSEM
;;; (1.1) "An object is thrown with a horizontal speed of 20 m/s from a cliff that is 125 m high."
;;; Intermediate logical form (LF):
(DECL
((VAR _X1 "an" "object") (VAR _X3 NIL (PLUR-N "20" "m/s"))
(VAR _X2 "a" "speed" (AN "horizontal" "speed") (PP "of" _X3))
(VAR _X4 "a" "cliff"
(DECL NIL
(S (PRESENT) _X4 "be"
(S-ADJ _X4 (DEGREE (MEASUREMENT "125" "m") "high"))))))
(S (PRESENT) NIL "throw" _X1 (PP "with" _X2) (PP "from" _X4)))
;;; Final semantic representation:
isa(object01,object_n1),
isa(speed01,velocity_n1),
isa(horizontal01,horizontal_a1),
isa(cliff01,cliff_n1),
isa(height01,height_n1),
isa(throw01,throw_v1),
height(cliff01,height01),
value(quantity01,[20,m/s_n1]),
mod(speed01,horizontal01),
speed(quantity01,speed01),
value(height01,[125,m_n1]),
object(throw01,object01),
"with"(throw01,speed01),
origin(throw01,cliff01).
;;; ----------------------------------------
;;; (1.2) "The object falls for the height of the cliff."
;;; Intermediate logical form (LF):
(DECL
((VAR _X1 "the" "object") (VAR _X3 "the" "cliff")
(VAR _X2 "the" "height" (PP "of" _X3)))
(S (PRESENT) _X1 "fall" (PP "for" _X2)))
;;; Final semantic representation:
isa(object01,object_n1),
isa(cliff01,cliff_n1),
isa(height01,height_n1),
isa(fall01,fall_v1),
height(cliff01,height01),
agent(fall01,object01),
distance(fall01,height01).
;;; ----------------------------------------
;;; (1.3) "If air resistance is negligible, how long does it take the object to fall to the ground?"
;;; Intermediate logical form (LF):
(Q-WH
((WH-VAR _X2 "how" (ADJ "long")) (VAR _X3 "it" NIL) (VAR _X4 "the" "object"))
(S (PRESENT) _X3 "take" _X4
(CONSEQUENCE
(DECL ((VAR _X5 "the" "ground"))
(S (TO) NIL "fall" (ADV (S-ADJ NIL (DEGREE _X2 "long"))) (PP "to" _X5))))
(S-REL "if"
(DECL ((VAR _X1 NIL "resistance" (NN "air" "resistance")))
(S (PRESENT) _X1 "be" (S-ADJ _X1 "negligible"))))))
;;; Final semantic representation:
isa(magnitude01,magnitude_n1),
isa(it01,thing_n1),
isa(object01,object_n1),
isa(take01,take_v1),
isa(ground01,ground_n1),
isa(fall01,fall_v1),
isa(long01,long_a1),
isa(resistance01,opposition_n1),
isa(air01,air_n1),
isa(negligible01,negligible_s1),
agent(take01,it01),
object(take01,object01),
object(take01,[
related-to(fall01,magnitude01),
value(magnitude01,long01),
"to"(fall01,ground01),
]),
mod(resistance01,air01),
"be"(resistance01,negligible01).
;;; ----------------------------------------
;;; (1.4) "What is the duration of the fall?"
;;; Intermediate logical form (LF):
(Q-WH
((WH-VAR _X1 "what" NIL) (VAR _X3 "the" "fall")
(VAR _X2 "the" "duration" (PP "of" _X3)))
(S (PRESENT) _X1 "be" _X2))
;;; Final semantic representation:
isa(fall01,fall_v1),
isa(duration01,duration_n1),
duration(fall01,duration01),
query-for(duration01).
;;; ----------------------------------------
