COMPARISON-20
(EXAMPLE :NAME COMPARISON-20 :GENERATEDFORM "Juan es cristiano, pero Alberto no lo es." :GLOSS ( :ENGLISH "Juan is Christian, but Alberto not it(referring to the" "property) is.") :TARGETFORM "Juan es cristiano, pero Alberto no lo es." :LOGICALFORM (RST / RST-CONTRASTIVE :DOMAIN (SER / PROPERTY-ASCRIPTION :ATTRIBUTE-TYPE-Q FULL :DOMAIN (N / PERSON :NAME JUAN ) :RANGE (C / QUALITY :LEX CRISTIANO ) :TENSE PRESENT :LEX SER ) :RANGE (SER / PROPERTY-ASCRIPTION :ATTRIBUTE-TYPE-Q CLITIC :DOMAIN (N / PERSON :NAME ALBERTO ) :RANGE (C / QUALITY ) :TENSE PRESENT :POLARITY NEGATIVE :LEX SER ) ) :SET-NAME EXAMPLES-I )
Structure:
Function Structure: [SENTENCE] [INITIATING#1/EXTENDED#1] [CARRIER#2/SUBJECT#2] [THING#3] [STEM#4] [HEAD#5].. = "Juan" [VOICE#2/TEMPO0#2/FINITE#2/LEXVERB#2/PROCESS#2] [STEM#9/ENDING#9].. = "es" [DIRECTCOMPLEMENT#2/ATTRIBUTE#2] [QUALITY#6] [STEM#7] [HEAD#8].. = "cristian" [ADJ-GENDER#7].. = "o" [COORDINATOR#1].. = "pero " [CONTINUING#1/EXTENSION#1] [CARRIER#10/SUBJECT#10] [THING#11] [STEM#12] [HEAD#13].. = "Alberto" [NEGATOR#10].. = "no " [DIRECTCOMPLEMENT#10/ATTRIBUTE#10] [QUALITY#14].. = "lo " [VOICE#10/TEMPO0#10/FINITE#10/LEXVERB#10/PROCESS#10] [STEM#15/ENDING#15].. = "es"