From SIGSEM
;;; (3.1) "John went into a restaurant."
;;; Intermediate logical form (LF):
(DECL ((VAR _X1 NIL "John" (PN "John")) (VAR _X2 "a" "restaurant"))
(S (PAST) _X1 "go" (PP "into" _X2)))
;;; Final semantic representation:
isa(John01,John_n2),
isa(restaurant01,restaurant_n1),
isa(go01,go_v1),
named(John01,["John"]),
agent(go01,John01),
destination(go01,restaurant01).
;;; ----------------------------------------
;;; (3.2) "There was a table in the corner."
;;; Intermediate logical form (LF):
(NP ((VAR _X2 "the" "corner") (VAR _X1 "a" "table" (PP "in" _X2))) (_X1))
;;; Final semantic representation:
isa(corner01,corner_n1),
isa(table01,table_n1),
is-inside(table01,corner01).
;;; ----------------------------------------
;;; (3.3) "The waiter took the order."
;;; Intermediate logical form (LF):
(DECL ((VAR _X1 "the" "waiter") (VAR _X2 "the" "order"))
(S (PAST) _X1 "take" _X2))
;;; Final semantic representation:
isa(waiter01,waiter_n1),
isa(order01,tell_v4),
isa(take01,take_v1),
agent(take01,waiter01),
object(take01,order01).
;;; ----------------------------------------
;;; (3.4) "The atmosphere was warm and friendly."
;;; Intermediate logical form (LF):
(DECL ((VAR _X1 "the" "atmosphere"))
(S (PAST) _X1 "be" (COORD "and" (S-ADJ _X1 "warm") (S-ADJ _X1 "friendly"))))
;;; Final semantic representation:
isa(atmosphere01,atmosphere_n1),
isa(warm01,warm_a1),
isa(friendly01,friendly_a1),
"be"(atmosphere01,warm01),
"be"(atmosphere01,friendly01).
;;; ----------------------------------------
;;; (3.5) "He began to read his book."
;;; Intermediate logical form (LF):
(DECL ((VAR _X1 "he" NIL))
(S (PAST) _X1 "begin" (DECL ((VAR _X2 "his" "book")) (S (TO) _X1 "read" _X2))))
;;; Final semantic representation:
isa(he01,person_n1),
isa(book01,book_n1),
isa(read01,read_v1),
isa(begin01,begin_v1),
agent(begin01,he01),
object(begin01,[
agent(read01,he01),
object(read01,book01),
]).
;;; ----------------------------------------
