Semantic specification for example: AGR-5
(EXAMPLE :NAME AGR-5 :GENERATEDFORM "Det{fem;sing} big{fem} old{sing} red{sing} cat{fem;singular} chases{singular} big{masc} old{sing} dog{masc;singular}" :GLOSS ( :ENGLISH NIL) :TARGETFORM "Det{fem;sing} big{fem} old{sing} red{sing} cat{fem;singular} chases{singular} big{masc} old{sing} dog{masc;singular}" :LOGICALFORM (S / PROCESS :LEX CHASE :SPEECH-ACT-ID (SA / ASSERTION ) :ACTOR (S2 / OBJECT :LEX CAT :SIZE-PROPERTY-ASCRIPTION (Q / SIZE-QUALITY :LEX BIG ) :COLOR-PROPERTY-ASCRIPTION (Q2 / COLOR-QUALITY :LEX RED ) :AGE-PROPERTY-ASCRIPTION (Q3 / AGE-QUALITY :LEX OLD ) :IDENTIFIABILITY-Q IDENTIFIABLE ) :ACTEE (S3 / OBJECT :LEX DOG :SIZE-PROPERTY-ASCRIPTION (Q / SIZE-QUALITY :LEX BIG ) :AGE-PROPERTY-ASCRIPTION (Q3 / AGE-QUALITY :LEX OLD ) ) ) :SET-NAME AGREEMENT-TESTS )