Examples of semantic inputs for a range of different sentence types.
(EXAMPLE
:NAME PRIMER-12
:GENERATEDFORM "Tomorrow it will sail to San Diego."
:TARGETFORM "Tomorrow it will sail to San Diego."
:LOGICALFORM
(S1 / SAIL
:THEME T1
:ACTOR
(S / SHIP
:EXPRESS-TYPE NO
:IDENTIFIABILITY-Q IDENTIFIABLE
:NUMBER SINGULAR )
:RELATIONS
(T1 / TEMPORAL-NONORDERING
:DOMAIN S1
:RANGE
(D / TOMORROW
:NAME TOMORROW )
)
:DESTINATION
(P / PORT
:NAME SAN-DIEGO )
:TENSE FUTURE )
)
(EXAMPLE
:NAME PRIMER-13
:GENERATEDFORM "To San Diego the Knox will sail on Wednesday."
:TARGETFORM "To San Diego the Knox will sail on Wednesday."
:LOGICALFORM
(S1 / SAIL
:THEME D1
:ACTOR
(S / SHIP
:NAME KNOX )
:TEMPORAL-NONORDERING
(D2 / DAY
:NAME WEDNESDAY )
:RELATIONS
(D1 / DESTINATION
:DOMAIN S1
:RANGE
(P / PORT
:NAME SAN-DIEGO )
)
:TENSE FUTURE
:SPEECHACT ASSERTION )
)
(EXAMPLE
:NAME PRIMER-14A
:GENERATEDFORM "A ship loads a truck."
:TARGETFORM "A ship loads a truck."
:LOGICALFORM
(E / LOAD
:ACTOR (S / SHIP )
:ACTEE (T / TRUCK ) )
)
(EXAMPLE
:NAME PRIMER-14B
:GENERATEDFORM "The ship is loading your trucks."
:TARGETFORM "The ship is loading your trucks."
:LOGICALFORM
(E / LOAD
:ACTOR
(S / SHIP
:DETERMINER THE )
:ACTEE
(T / TRUCK
:NUMBER PLURAL
:RELATIONS
(O / OWNERSHIP
:DOMAIN
(HEARER / PERSON
:NUMBER PLURAL )
:RANGE T )
)
:TENSE PRESENT-CONTINUOUS )
)
(EXAMPLE
:NAME PRIMER-14C
:GENERATEDFORM "The ship is loading your trucks."
:TARGETFORM "The ship is loading your trucks."
:LOGICALFORM
(E / LOAD
:ACTOR
(S / SHIP
:DETERMINER THE )
:ACTEE
(T / TRUCK
:NUMBER PLURAL
:OWNED-BY
(HEARER / PERSON
:NUMBER PLURAL )
)
:TENSE PRESENT-CONTINUOUS )
)
(EXAMPLE
:NAME PRIMER-16A
:GENERATEDFORM "The ship will sail to Pearl Harbor, and it is operational."
:TARGETFORM "The ship will sail to Pearl Harbor, and it is operational."
:LOGICALFORM
((E1 / SAIL
:ACTOR
(S / SHIP
:DETERMINER THE )
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:TENSE FUTURE )
(E2 / READINESS-STATUS
:DOMAIN S
:RANGE (R / OPERATIONAL ) )
)
)
(EXAMPLE
:NAME PRIMER-16B
:GENERATEDFORM "The ship that is operational will sail to Pearl Harbor."
:TARGETFORM "The ship that is operational will sail to Pearl Harbor."
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:DETERMINER THE
:RELATIONS
((R1 / READINESS-STATUS
:DOMAIN S
:RANGE (R / OPERATIONAL )
:TENSE PRESENT )
)
)
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:TENSE FUTURE )
)
(EXAMPLE
:NAME PRIMER-16C
:GENERATEDFORM "The ship that will sail to Pearl Harbor is operational."
:TARGETFORM "The ship that will sail to Pearl Harbor is operational."
:LOGICALFORM
(E1 / READINESS-STATUS
:DOMAIN
(S / SHIP
:DETERMINER THE
:PROCESS
(S1 / SAIL
:ACTOR S
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:TENSE FUTURE )
)
:RANGE (R / OPERATIONAL ) )
)
(EXAMPLE
:NAME PRIMER-16D
:GENERATEDFORM "The operational ship that was in San Diego will sail to Pearl Harbor."
:TARGETFORM "The operational ship that was in San Diego will sail to Pearl Harbor."
:LOGICALFORM
(S1 / SAIL
:ACTOR
(S / SHIP
:DETERMINER THE
:RELATIONS
((R1 / READINESS-STATUS
:DOMAIN S
:RANGE (O / OPERATIONAL ) )
(L1 / LOCATION
:DOMAIN S
:CIRCUMSTANCE-Q NOTCIRCUMSTANCE
:RANGE
(P / PORT
:NAME SAN-DIEGO )
:TENSE PAST )
)
)
:DESTINATION
(PH / PORT
:NAME PEARL-HARBOR )
:TENSE FUTURE )
)
(EXAMPLE
:NAME PRIMER-1A
:GENERATEDFORM "The Knox sails."
:TARGETFORM "The Knox sails."
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:NAME KNOX )
)
)
(EXAMPLE
:NAME PRIMER-1B
:GENERATEDFORM "The Knox does not sail."
:TARGETFORM "The Knox does not sail."
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:NAME KNOX )
:SPEECHACT DENIAL )
)
(EXAMPLE
:NAME PRIMER-20A
:GENERATEDFORM "The ship loaded an inoperative truck."
:TARGETFORM "The ship loaded an inoperative truck."
:LOGICALFORM
(L / LOAD
:ACTOR
(S / SHIP
:DETERMINER THE )
:ACTEE
(T / TRUCK
:DETERMINER A
:READINESS-STATUS (R / INOPERATIVE ) )
:TENSE PAST )
)
(EXAMPLE
:NAME PRIMER-20B
:GENERATEDFORM "The ship loaded a truck, and it was inoperative."
:TARGETFORM "The ship loaded a truck, and it was inoperative."
:LOGICALFORM
((L / LOAD
:ACTOR
(S / SHIP
:DETERMINER THE )
:ACTEE
(T / TRUCK
:DETERMINER A )
:TENSE PAST )
(Q / READINESS-STATUS
:DOMAIN T
:RANGE (R / INOPERATIVE )
:TENSE PAST )
)
)
(EXAMPLE
:NAME PRIMER-20C
:GENERATEDFORM "The ship loaded a truck, and it was inoperative."
:TARGETFORM "The ship loaded a truck, and it was inoperative."
:LOGICALFORM
(C1 / CONJUNCTION
:DOMAIN
(L / LOAD
:ACTOR
(S / SHIP
:DETERMINER THE )
:ACTEE
(T / TRUCK
:DETERMINER A )
:TENSE PAST )
:RANGE
(Q / READINESS-STATUS
:DOMAIN T
:RANGE (R / INOPERATIVE )
:TENSE PAST )
)
)
(EXAMPLE
:NAME PRIMER-21A
:GENERATEDFORM "Either the ship loaded a truck, or it loaded a tank."
:TARGETFORM "Either the ship loaded a truck, or it loaded a tank."
:LOGICALFORM
(
:OR
(L1 / LOAD
:ACTOR
(S / SHIP
:DETERMINER THE )
:ACTEE
(T / TRUCK
:DETERMINER A )
:TENSE PAST )
(L2 / LOAD
:ACTOR S
:ACTEE
(T / TANK
:DETERMINER A )
:TENSE PAST )
)
)
(EXAMPLE
:NAME PRIMER-21B
:GENERATEDFORM "Either the ship loaded a truck, or it loaded a tank."
:TARGETFORM "Either the ship loaded a truck, or it loaded a tank."
:LOGICALFORM
(D1 / DISJUNCTION
:DOMAIN
(L / LOAD
:ACTOR
(S / SHIP
:DETERMINER THE )
:ACTEE
(T / TRUCK
:DETERMINER A )
:TENSE PAST )
:RANGE
(L / LOAD
:ACTOR S
:ACTEE
(T / TANK
:DETERMINER A )
:TENSE PAST )
)
)
(EXAMPLE
:NAME PRIMER-21C
:GENERATEDFORM "The ship loaded a truck or a tank."
:TARGETFORM "The ship loaded a truck or a tank."
:LOGICALFORM
(L / LOAD
:ACTOR
(S / SHIP
:DETERMINER THE )
:ACTEE
(
:OR
(T1 / TRUCK
:DETERMINER A )
(T2 / TANK
:DETERMINER A )
)
:TENSE PAST )
)
(EXAMPLE
:NAME PRIMER-21D
:GENERATEDFORM "The ship loaded a truck or a tank."
:TARGETFORM "The ship loaded a truck or a tank."
:LOGICALFORM
(L / LOAD
:ACTOR
(S / SHIP
:DETERMINER THE )
:ACTEE
(D1 / DISJUNCTION
:DOMAIN
(T1 / TRUCK
:DETERMINER A )
:RANGE
(T2 / TANK
:DETERMINER A )
)
:TENSE PAST )
)
(EXAMPLE
:NAME PRIMER-23
:GENERATEDFORM "The ship reported that it is inoperative."
:TARGETFORM "The ship reported that it is inoperative."
:LOGICALFORM
(E / REPORT
:SAYER
(S / SHIP
:DETERMINER THE )
:SAYING
(R / READINESS-STATUS
:TENSE PRESENT
:DOMAIN S
:RANGE (I / INOPERATIVE ) )
:TENSE PAST )
)
(EXAMPLE
:NAME PRIMER-24A
:GENERATEDFORM "The ship sailed to Pearl Harbor, in order to load fuel."
:TARGETFORM "The ship sailed to Pearl Harbor, in order to load fuel."
:LOGICALFORM
(P / RST-PURPOSE
:DOMAIN
(E / SAIL
:ACTOR
(S / SHIP
:DETERMINER THE )
:DESTINATION
(P2 / PORT
:NAME PEARL-HARBOR )
:TENSE PAST )
:RANGE
(L / LOAD
:ACTOR S
:ACTEE
(F / FUEL
:NUMBER MASS )
)
)
)
(EXAMPLE
:NAME PRIMER-24B
:GENERATEDFORM "Sail to Pearl Harbor, in order to load fuel!"
:TARGETFORM "Sail to Pearl Harbor, in order to load fuel!"
:LOGICALFORM
(P / RST-PURPOSE
:DOMAIN
(E / SAIL
:ACTOR
(S / SHIP
:DETERMINER THE )
:DESTINATION
(P2 / PORT
:NAME PEARL-HARBOR )
)
:RANGE
(L / LOAD
:ACTOR S
:ACTEE
(F / FUEL
:NUMBER MASS )
)
:SPEECHACT IMPERATIVE )
)
(EXAMPLE
:NAME PRIMER-25
:GENERATEDFORM "For example, the ship sailed to Pearl Harbor."
:TARGETFORM "For example, the ship sailed to Pearl Harbor."
:LOGICALFORM
(P1 / RST-ELABORATION-GENERAL-SPECIFIC
:RANGE
(E / SAIL
:ACTOR
(S / SHIP
:DETERMINER THE )
:DESTINATION
(P2 / PORT
:NAME PEARL-HARBOR )
:TENSE PAST )
)
)
(EXAMPLE
:NAME PRIMER-26
:GENERATEDFORM "There aren't any wood ships in the Navy."
:TARGETFORM "There aren't any wood ships in the Navy."
:LOGICALFORM
(E / EXISTENCE
:SPEECHACT DENIAL
:DOMAIN
(S / SHIP
:NUMBER PLURAL
:DETERMINER ANY
:MATERIAL-PROPERTY-ASCRIPTION (W / WOOD ) )
:STATIC-SPATIAL
(N / NAVY
:DETERMINER THE )
)
)
(EXAMPLE
:NAME PRIMER-27A
:GENERATEDFORM "The ship could sail on Monday."
:TARGETFORM "The ship could sail on Monday."
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:DETERMINER THE )
:TEMPORAL-NONORDERING
(D2 / DAY
:NAME MONDAY )
:MODAL-PROPERTY-ASCRIPTION (M / (CONDITIONAL ABILITY ) ) )
)
(EXAMPLE
:NAME PRIMER-27B
:GENERATEDFORM "The ship must sail on Monday."
:TARGETFORM "The ship must sail on Monday."
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:DETERMINER THE )
:TEMPORAL-NONORDERING
(D2 / DAY
:NAME MONDAY )
:MODAL-PROPERTY-ASCRIPTION (M / (NONCONDITIONAL NECESSITY ) ) )
)
(EXAMPLE
:NAME PRIMER-27C
:GENERATEDFORM "You should sail to Pearl Harbor on Monday."
:TARGETFORM "You should sail to Pearl Harbor on Monday."
:LOGICALFORM
(E / SAIL
:ACTOR (HEARER / PERSON )
:DESTINATION
(P2 / PORT
:NAME PEARL-HARBOR )
:TEMPORAL-NONORDERING
(D2 / DAY
:NAME MONDAY )
:MODAL-PROPERTY-ASCRIPTION (M / (CONDITIONAL NECESSITY ) ) )
)
(EXAMPLE
:NAME PRIMER-29
:GENERATEDFORM "On Monday the Knox will sail to San Diego."
:TARGETFORM "On Monday the Knox will sail to San Diego."
:LOGICALFORM
(S1 / SAIL
:THEME T1
:ACTOR
(S / SHIP
:NAME KNOX )
:RELATIONS
(T1 / TEMPORAL-NONORDERING
:DOMAIN S1
:RANGE
(D / DAY
:NAME MONDAY )
)
:DESTINATION
(P / PORT
:NAME SAN-DIEGO )
:TENSE FUTURE )
)
(EXAMPLE
:NAME PRIMER-2A
:GENERATEDFORM "The Knox sails to Pearl Harbor."
:TARGETFORM "The Knox sails to Pearl Harbor."
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:NAME KNOX )
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
)
)
(EXAMPLE
:NAME PRIMER-2B
:GENERATEDFORM "Does the Knox sail to Pearl Harbor?"
:TARGETFORM "Does the Knox sail to Pearl Harbor?"
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:NAME KNOX )
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:SPEECHACT YES-NO-QUESTION )
)
(EXAMPLE
:NAME PRIMER-2C
:GENERATEDFORM "Sail to Pearl Harbor!"
:TARGETFORM "Sail to Pearl Harbor!"
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:NAME KNOX )
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:SPEECHACT IMPERATIVE )
)
(EXAMPLE
:NAME PRIMER-30A
:GENERATEDFORM "The three ships sail to Pearl Harbor on Monday."
:TARGETFORM "The three ships sail to Pearl Harbor on Monday."
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:QUANTITY 3
:DETERMINER THE )
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:TEMPORAL-NONORDERING
(D2 / DAY
:NAME MONDAY )
)
)
(EXAMPLE
:NAME PRIMER-30B
:GENERATEDFORM "At least three ships sail to Pearl Harbor on Monday."
:TARGETFORM "At least three ships sail to Pearl Harbor on Monday."
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:AT-LEAST 3 )
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:TEMPORAL-NONORDERING
(D2 / DAY
:NAME MONDAY )
)
)
(EXAMPLE
:NAME PRIMER-30C
:GENERATEDFORM "Exactly three ships sail to Pearl Harbor on Monday."
:TARGETFORM "Exactly three ships sail to Pearl Harbor on Monday."
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:EXACTLY 3 )
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:TEMPORAL-NONORDERING
(D2 / DAY
:NAME MONDAY )
)
)
(EXAMPLE
:NAME PRIMER-32A
:GENERATEDFORM "Fleets have ships."
:TARGETFORM "Fleets have ships."
:LOGICALFORM
(P / PART
:DOMAIN
(F / FLEET
:NUMBER PLURAL )
:RANGE
(S / SHIP
:NUMBER PLURAL )
)
)
(EXAMPLE
:NAME PRIMER-33A
:GENERATEDFORM "Part of the fleet sails to Pearl Harbor with the Kennedy."
:TARGETFORM "Part of the fleet sails to Pearl Harbor with the Kennedy."
:LOGICALFORM
(E / SAIL
:ACTOR
(O / PART
:NUMBER MASS
:IDENTIFIABILITY-Q NOTIDENTIFIABLE
:DOMAIN
(F / FLEET
:DETERMINER THE )
)
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:INCLUSIVE
(S / SHIP
:NAME KENNEDY )
)
)
(EXAMPLE
:NAME PRIMER-33B
:GENERATEDFORM "That part of the fleet sails to Pearl Harbor without the Kennedy."
:TARGETFORM "That part of the fleet sails to Pearl Harbor without the Kennedy."
:LOGICALFORM
(E / SAIL
:ACTOR
(O / PART-OF
:DETERMINER THAT
:RANGE
(F / FLEET
:DETERMINER THE )
)
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:EXCLUSIVE
(S / SHIP
:NAME KENNEDY )
)
)
(EXAMPLE
:NAME PRIMER-34
:GENERATEDFORM "As well as the Kennedy, the Knox sails to Pearl Harbor."
:TARGETFORM "As well as the Kennedy, the Knox sails to Pearl Harbor."
:LOGICALFORM
(E / SAIL
:ACTOR
(S1 / SHIP
:NAME KNOX )
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:THEME A
:RELATIONS
(A / ADDITIVE
:DOMAIN E
:RANGE
(S2 / SHIP
:NAME KENNEDY )
)
)
)
(EXAMPLE
:NAME PRIMER-35
:GENERATEDFORM "The navy identified the new Russian ship as the Gorky."
:TARGETFORM "The navy identified the new Russian ship as the Gorky."
:LOGICALFORM
(I / IDENTIFY
:SENSER
(N / NAVY
:DETERMINER THE )
:TENSE PAST
:PHENOMENON
(S1 / SHIP
:AGE-PROPERTY-ASCRIPTION
(A / AGE
:LEX NEW )
:DETERMINER THE
:PROVENANCE-PROPERTY-ASCRIPTION
(R / PROVENANCE-CLASS-QUALITY
:LEX RUSSIAN )
)
:ROLE-PLAYING
(S2 / SHIP
:NAME GORKY )
)
)
(EXAMPLE
:NAME PRIMER-37
:GENERATEDFORM "The ship sailed to Pearl Harbor, in order to load fuel, then it loaded a truck."
:TARGETFORM "The ship sailed to Pearl Harbor, in order to load fuel, then it loaded a truck."
:LOGICALFORM
(R / RST-SEQUENCE
:DOMAIN
(P1 / RST-PURPOSE
:DOMAIN
(E / SAIL
:ACTOR
(S / SHIP
:DETERMINER THE )
:DESTINATION
(P2 / PORT
:NAME PEARL-HARBOR )
:TENSE PAST )
:RANGE
(L1 / LOAD
:ACTOR S
:ACTEE
(F / FUEL
:NUMBER MASS )
)
)
:RANGE
(L2 / LOAD
:ACTOR S
:ACTEE
(T / TRUCK
:DETERMINER A )
:TENSE PAST )
)
)
(EXAMPLE
:NAME PRIMER-38
:GENERATEDFORM "Then the ship loaded a truck."
:TARGETFORM "Then the ship loaded a truck."
:LOGICALFORM
(R / RST-SEQUENCE
:RANGE
(L2 / LOAD
:ACTOR
(S / SHIP
:DETERMINER THE )
:ACTEE
(T / TRUCK
:DETERMINER A )
:TENSE PAST )
)
)
(EXAMPLE
:NAME PRIMER-39
:GENERATEDFORM "The ship was named by the Navy."
:TARGETFORM "The ship was named by the Navy."
:LOGICALFORM
(E / NAME-RELATION
:THEME S
:PP-THEME S
:DOMAIN
(N / NAVY
:DETERMINER THE )
:RANGE
(S / SHIP
:DETERMINER THE )
:TENSE PAST )
)
(EXAMPLE
:NAME PRIMER-3A
:GENERATEDFORM "The Knox sails until Wednesday."
:TARGETFORM "The Knox sails until Wednesday."
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:NAME KNOX )
:UNTIL
(D / DAY
:NAME WEDNESDAY )
)
)
(EXAMPLE
:NAME PRIMER-3B
:GENERATEDFORM "You sail today."
:TARGETFORM "You sail today."
:LOGICALFORM
(E / SAIL
:ACTOR (HEARER / PERSON )
:TEMPORAL-NONORDERING
(D / TODAY
:NAME TODAY )
)
)
(EXAMPLE
:NAME PRIMER-41A
:GENERATEDFORM "The ship is C4."
:TARGETFORM "The ship is C4."
:LOGICALFORM
(A / READINESS-STATUS :lex readiness
:DOMAIN
(S / SHIP
:DETERMINER THE )
:RANGE
(C4 / OPERATIONAL
:LEX C4 )
)
)
(EXAMPLE
:NAME PRIMER-41B
:GENERATEDFORM "The readiness of the ship is C4."
:TARGETFORM "The readiness of the ship is C4."
:LOGICALFORM
(I / UM-IDENTITY
:DOMAIN
(R / READINESS-STATUS
:DOMAIN
(S / SHIP
:DETERMINER THE )
:DETERMINER THE )
:RANGE
(C4 / OPERATIONAL
:LEX C4 )
)
)
(EXAMPLE
:NAME PRIMER-42
:GENERATEDFORM "These ships load."
:TARGETFORM "These ships load."
:LOGICALFORM
(E / NONDIRECTED-LOAD
:ACTOR
(S / SHIP
:NUMBER PLURAL
:DETERMINER THIS )
)
)
(EXAMPLE
:NAME PRIMER-43
:GENERATEDFORM "That ship is named Kennedy."
:TARGETFORM "That ship is named Kennedy."
:LOGICALFORM
(x / name-event
:actee (s / ship :determiner that)
:result (n / name :name Kennedy))
)
(EXAMPLE
:NAME PRIMER-44
:GENERATEDFORM "The Constellation is the huge ship that was named by Kennedy"
:TARGETFORM "The Constellation is the huge ship that was named by Kennedy"
:LOGICALFORM
(C / CLASS-ASCRIPTION
:DOMAIN
(S1 / SHIP
:NAME CONSTELLATION )
:RANGE
(S2 / SHIP
:RELATIONS
((SPA / SIZE-PROPERTY-ASCRIPTION
:DOMAIN S2
:RANGE
(H / SIZE
:LEX HUGE )
)
(N / NAME-RELATION
:THEME S2
:PP-THEME S2
:TENSE PAST
:DOMAIN
(P / PERSON
:NAME KENNEDY )
:RANGE S2 )
)
)
)
)
(EXAMPLE
:NAME PRIMER-45
:GENERATEDFORM "That ship is in port because it is loading fuel."
:TARGETFORM "That ship is in port because it is loading fuel."
:LOGICALFORM
(R / RST-VOLITIONAL-CAUSE
:DOMAIN
(L1 / LOCATION
:DOMAIN
(S / SHIP
:DETERMINER THAT )
:RANGE
(P / (PORT THREE-D-LOCATION )
:NUMBER MASS )
)
:RANGE
(L2 / LOAD
:ACTOR (S / SHIP )
:ACTEE
(F / FUEL
:NUMBER MASS )
:TENSE PRESENT-CONTINUOUS )
)
)
(EXAMPLE
:NAME PRIMER-46
:GENERATEDFORM "The truck gave fuel to the Kennedy."
:TARGETFORM "The truck gave fuel to the Kennedy."
:LOGICALFORM
(E / GIVE
:ACTOR
(T / TRUCK
:DETERMINER THE )
:ACTEE
(F / FUEL
:NUMBER MASS )
:BENEFICIARY
(S / SHIP
:NAME KENNEDY )
:TENSE PAST )
)
(EXAMPLE
:NAME PRIMER-47
:GENERATEDFORM "The ship is reported as the Kennedy."
:TARGETFORM "The ship is reported as the Kennedy."
:LOGICALFORM
(E / REPORT
:SAYING
(S1 / SHIP
:DETERMINER THE )
:ROLE-PLAYING
(S2 / SHIP
:NAME KENNEDY )
)
)
(EXAMPLE
:NAME PRIMER-48
:GENERATEDFORM "The Whipple reports that the Knox loads a tank."
:TARGETFORM "The Whipple reports that the Knox loads a tank."
:LOGICALFORM
(R / REPORT
:SAYER
(W / SHIP
:NAME WHIPPLE )
:SAYING
(L / LOAD
:ACTOR
(K / SHIP
:NAME KNOX )
:ACTEE (T / TANK ) )
)
)
(EXAMPLE
:NAME PRIMER-49A
:GENERATEDFORM "The Knox sails when the Whipple sails."
:TARGETFORM "The Knox sails when the Whipple sails."
:LOGICALFORM
(T / CONCURRENT
:DOMAIN
(E1 / SAIL
:ACTOR
(S1 / SHIP
:NAME KNOX )
)
:RANGE
(E2 / SAIL
:ACTOR
(S2 / SHIP
:NAME WHIPPLE )
:TENSE PRESENT )
)
)
(EXAMPLE
:NAME PRIMER-49B
:GENERATEDFORM "The Knox sails when the Whipple sails."
:TARGETFORM "The Knox sails when the Whipple sails."
:LOGICALFORM
(E1 / SAIL
:ACTOR
(S / SHIP
:NAME KNOX )
:CONCURRENT
(E2 / SAIL
:ACTOR
(S2 / SHIP
:NAME WHIPPLE )
:TENSE PRESENT )
)
)
(EXAMPLE
:NAME PRIMER-49C
:GENERATEDFORM "The Knox sails where the Whipple sails."
:TARGETFORM "The Knox sails where the Whipple sails."
:LOGICALFORM
(E1 / SAIL
:ACTOR
(S / SHIP
:NAME KNOX )
:STATIC-SPATIAL
(E2 / SAIL
:ACTOR
(S2 / SHIP
:NAME WHIPPLE )
:TENSE PRESENT )
)
)
(EXAMPLE
:NAME PRIMER-49D
:GENERATEDFORM "The Knox sails if the Whipple sails."
:TARGETFORM "The Knox sails if the Whipple sails."
:LOGICALFORM
(E1 / SAIL
:ACTOR
(S / SHIP
:NAME KNOX )
:CONDITION
(E2 / SAIL
:ACTOR
(S2 / SHIP
:NAME WHIPPLE )
:TENSE PRESENT )
)
)
(EXAMPLE
:NAME PRIMER-4A
:GENERATEDFORM "The Knox, the Fanning and the Whipple sail until Wednesday."
:TARGETFORM "The Knox, the Fanning and the Whipple sail until Wednesday."
:LOGICALFORM
(E / SAIL
:ACTOR
((S1 / SHIP
:NAME KNOX )
(S2 / SHIP
:NAME FANNING )
(S3 / SHIP
:NAME WHIPPLE )
)
:UNTIL
(D / DAY
:NAME WEDNESDAY )
)
)
(EXAMPLE
:NAME PRIMER-4B
:GENERATEDFORM "They will sail to Pearl Harbor."
:TARGETFORM "They will sail to Pearl Harbor."
:LOGICALFORM
(E / SAIL
:ACTOR
(S / SHIP
:EXPRESS-TYPE NO
:IDENTIFIABILITY-Q IDENTIFIABLE
:NUMBER PLURAL )
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:TENSE FUTURE )
)
(EXAMPLE
:NAME PRIMER-4C
:GENERATEDFORM "The Knox, the Fanning and the Whipple sail to Pearl Harbor and San Diego."
:TARGETFORM "The Knox, the Fanning and the Whipple sail to Pearl Harbor and San Diego."
:LOGICALFORM
(E / SAIL
:ACTOR
((S1 / SHIP
:NAME KNOX )
(S2 / SHIP
:NAME FANNING )
(S3 / SHIP
:NAME WHIPPLE )
)
:DESTINATION
((P1 / PORT
:NAME PEARL-HARBOR )
(P2 / PORT
:NAME SAN-DIEGO )
)
)
)
(EXAMPLE
:NAME PRIMER-4D
:GENERATEDFORM "We will be sailing to Pearl Harbor until Wednesday."
:TARGETFORM "We will be sailing to Pearl Harbor until Wednesday."
:LOGICALFORM
(E / SAIL
:ACTOR
(SPEAKER / PERSON
:NUMBER PLURAL )
:DESTINATION
(P / PORT
:NAME PEARL-HARBOR )
:UNTIL
(D / DAY
:NAME WEDNESDAY )
:TENSE FUTURE-CONTINUOUS )
)
(EXAMPLE
:NAME PRIMER-50
:GENERATEDFORM "The length of the Knox exceeds the length of the Whipple."
:TARGETFORM "The length of the Knox exceeds the length of the Whipple."
:LOGICALFORM
(E1 / EXCEED
:MEASURE-Q MEASURE
:MEASURE-TYPE-Q DIMENSION
:DOMAIN
(L1 / LENGTH
:DOMAIN
(S1 / SHIP
:NAME KNOX )
:DETERMINER THE )
:RANGE
(L1 / LENGTH
:DOMAIN
(S2 / SHIP
:NAME WHIPPLE )
:DETERMINER THE )
)
)
(EXAMPLE
:NAME PRIMER-51A
:GENERATEDFORM "What is the length of the Knox?."
:TARGETFORM "What is the length of the Knox?."
:LOGICALFORM
(I / UM-IDENTITY
:SPEECH-ACT-ID
(Q / QUESTION
:POLARITY POSITIVE )
:QUESTION-ITEM-ID (ID / LENGTH )
:DOMAIN
(ID / LENGTH
:EMPTY-NUMBER-Q EMPTY )
:RANGE
(L1 / LENGTH
:DOMAIN
(S2 / SHIP
:NAME KNOX )
:DETERMINER THE )
)
)
(EXAMPLE
:NAME PRIMER-51B
:GENERATEDFORM "What is the length of the Knox?."
:TARGETFORM "What is the length of the Knox?."
:LOGICALFORM
(I / UM-IDENTITY
:WHAT-QUESTION ID
:DOMAIN
(ID / LENGTH
:EMPTY-NUMBER-Q EMPTY )
:RANGE
(L1 / LENGTH
:DOMAIN
(S2 / SHIP
:NAME KNOX )
:DETERMINER THE )
)
)
(EXAMPLE
:NAME PRIMER-52A
:GENERATEDFORM "Who loaded the Knox?."
:TARGETFORM "Who loaded the Knox?."
:LOGICALFORM
(L / LOAD
:TENSE PAST
:SPEECH-ACT-ID
(Q / QUESTION
:POLARITY POSITIVE )
:QUESTION-ITEM-ID (ID / PERSON )
:ACTOR ID
:ACTEE
(S2 / SHIP
:NAME KNOX )
)
)
(EXAMPLE
:NAME PRIMER-52B
:GENERATEDFORM "What person loaded the Knox ? "
:TARGETFORM "Who loaded the Knox?."
:LOGICALFORM
(L / LOAD
:TENSE PAST
:WHAT-QUESTION ID
:ACTOR (ID / PERSON )
:ACTEE
(S2 / SHIP
:NAME KNOX )
)
)
(EXAMPLE
:NAME PRIMER-5A
:GENERATEDFORM "The ship is at San Diego."
:TARGETFORM "The ship is at San Diego."
:LOGICALFORM
(L1 / LOCATION
:DOMAIN
(S / SHIP
:DETERMINER THE )
:RANGE
(P / PORT
:NAME SAN-DIEGO )
)
)
(EXAMPLE
:NAME PRIMER-5B
:GENERATEDFORM "The ship is in port."
:TARGETFORM "The ship is in port."
:LOGICALFORM
(L1 / LOCATION
:DOMAIN
(S / SHIP
:DETERMINER THE )
:RANGE
(P / THREE-D-LOCATION
:LEX PORT-UNCOUNTABLE )
)
)
(EXAMPLE
:NAME PRIMER-6A
:GENERATEDFORM "The ship is in port at San Diego."
:TARGETFORM "The ship is in port at San Diego."
:LOGICALFORM
(L1 / LOCATION
:DOMAIN
(S / SHIP
:DETERMINER THE )
:RANGE
(P1 / THREE-D-LOCATION
:LEX PORT-UNCOUNTABLE
:NUMBER MASS )
:LOCATION
(P2 / PORT
:NAME SAN-DIEGO )
)
)
(EXAMPLE
:NAME PRIMER-6B
:GENERATEDFORM "The ship is in port at San Diego."
:TARGETFORM "The ship is in port at San Diego."
:LOGICALFORM
(L1 / LOCATION
:DOMAIN
(S / SHIP
:DETERMINER THE )
:RANGE
(P1 / THREE-D-LOCATION
:LEX PORT-UNCOUNTABLE
:NUMBER MASS
:LOCATION
(P2 / PORT
:NAME SAN-DIEGO )
)
)
)
(EXAMPLE
:NAME PRIMER-7A
:GENERATEDFORM "There are not any ships in port at San Diego."
:TARGETFORM "There are not any ships in port at San Diego."
:LOGICALFORM
(E / EXISTENCE
:SPEECHACT DENIAL
:DOMAIN
(S / SHIP
:NUMBER PLURAL
:DETERMINER ANY )
:LOCATION
(P1 / THREE-D-LOCATION
:LEX PORT-UNCOUNTABLE
:NUMBER MASS
:LOCATION
(P2 / PORT
:NAME SAN-DIEGO )
)
)
)
(EXAMPLE
:NAME PRIMER-7B
:GENERATEDFORM "There are not any ships at port in San Diego."
:TARGETFORM "There are not any ships at port in San Diego."
:LOGICALFORM
(E / EXISTENCE
:SPEECHACT DENIAL
:DOMAIN
(S / SHIP
:NUMBER PLURAL
:DETERMINER ANY )
:LOCATION
(P1 / PORT
:NUMBER MASS
:LOCATION
(P2 / THREE-D-LOCATION
:NAME SAN-DIEGO )
)
)
)
(EXAMPLE
:NAME PRIMER-8
:GENERATEDFORM "Previously, the Knox was in port at San Diego."
:TARGETFORM "Previously, the Knox was in port at San Diego."
:LOGICALFORM
(L1 / LOCATION
:CONJUNCTIVE PREVIOUSLY
:DOMAIN
(S / SHIP
:NAME KNOX )
:RANGE
(P1 / THREE-D-LOCATION
:LEX PORT-UNCOUNTABLE
:NUMBER MASS
:LOCATION
(P2 / PORT
:NAME SAN-DIEGO )
)
)
)