Semantic specification for example: AGR-1
(EXAMPLE :NAME AGR-1 :GENERATEDFORM "Det{masc;sing} dog{masc;singular} chases{singular} cat{fem;singular}" :GLOSS ( :ENGLISH NIL) :TARGETFORM "Det{masc;sing} dog{masc;singular} chases{singular} cat{fem;singular}" :LOGICALFORM (S / PROCESS :LEX CHASE :SPEECH-ACT-ID (SA / ASSERTION ) :ACTOR (S2 / OBJECT :LEX DOG :IDENTIFIABILITY-Q IDENTIFIABLE ) :ACTEE (S3 / OBJECT :LEX CAT ) ) :SET-NAME AGREEMENT-TESTS )