From SIGSEM
;;; (2.1) "Cervical cancer is caused by a virus."
;;; Intermediate logical form (LF):
(DECL ((VAR _X1 NIL "cancer" (AN "cervical" "cancer")) (VAR _X2 "a" "virus"))
(S (PRESENT) NIL "cause" _X1 (PP "by" _X2)))
;;; Final semantic representation:
isa(cancer01,cancer_n1),
isa(cervical01,cervical_a1),
isa(virus01,virus_n1),
causes(virus01,cancer01),
mod(cancer01,cervical01).
;;; ----------------------------------------
;;; (2.2) "That has been known for some time and it has led to a vaccine that seems to prevent it."
;;; Intermediate logical form (LF):
(COORD "and"
(DECL ((VAR _X1 "that" NIL) (VAR _X2 "some" "time"))
(S (PRESENT PERF) NIL "know" _X1 (PP "for" _X2)))
(DECL
((VAR _X3 "it" NIL)
(VAR _X4 "a" "vaccine"
(DECL NIL
(S (PRESENT) _X4 "seem"
(DECL ((VAR _X6 "it" NIL)) (S (TO) _X4 "prevent" _X6))))))
(S (PRESENT PERF) _X3 "lead" (PP "to" _X4))))
;;; Final semantic representation:
isa(time01,time_n1),
isa(know01,know_v1),
isa(it02,thing_n1),
isa(vaccine01,vaccine_n1),
isa(it01,thing_n1),
isa(prevent01,prevent_v1),
isa(seem01,seem_v1),
isa(lead01,take_v3),
object(know01,that01),
duration(know01,time01),
agent(seem01,vaccine01),
object(seem01,[
agent(prevent01,vaccine01),
object(prevent01,it01),
]),
agent(lead01,it02),
destination(lead01,vaccine01).
;;; ----------------------------------------
;;; (2.3) "Researchers have been looking for other cancers that may be caused by viruses."
;;; Intermediate logical form (LF):
(DECL
((VAR _X1 NIL (PLUR "researcher"))
(VAR _X2 NIL (PLUR "cancer") (AN "other" "cancer")
(DECL ((VAR _X4 NIL (PLUR "virus")))
(S (MAY) NIL "cause" _X2 (PP "by" _X4)))))
(S (PRESENT PERF PROG) _X1 "look" (PP "for" _X2)))
;;; Final semantic representation:
isa(researcher01,investigator_n1),
isa(cancer02,cancer_n1),
isa(other01,other_a1),
isa(virus02,virus_n1),
isa(look01,look_v1),
causes(virus02,cancer02),
mod(cancer02,other01),
agent(look01,researcher01),
duration(look01,cancer02).
;;; ----------------------------------------
