# The signature of Discourse Representation Structures (DRSs) # that are formatted in the clausal form (CLF) # Every clause in CLFs starts with a box variable and an operator. # The rest of the clause is a sequence of variables where its size depends on the operator # The signature represented as a set of key-value pairs. # The KEY is a sequence of letters representing variable types # and following the variable order in clauses: # b stands for a box, x for a discourse referent, t for a term (i.e. a disc. referent or a constant) # The VALUE is a list of operators whose argument types are described by the KEY # NB: except the operators in the signature, CLFs also contain wordnet word senses and constants. # "constants" and "pos.sense_numbers" are in double quotes. bx: DRS: - REF bbb: DRS: # DRS-specific operators - IMP - DIS - DUP bb: DRS: - NOT - POS - NEC #- DRS DRL: # Discourse relations. # Not all of them are used for now - ALTERNATION - ATTRIBUTION - BACKGROUND - COMMENTARY - CONDITION - CONTINUATION - CONTRAST - CONSEQUENCE - ELABORATION - EXPLANATION - INSTANCE - NARRATION - NEGATION - NECESSITY - POSSIBILITY - PARALLEL - PRECONDITION - RESULT - SOURCE - TOPIC PRE: - PRESUPPOSITION bxb: DRS: - PRP PPS: - Proposition btc: CRO: # Concept roles - Name btt: TRL: # temporal relations - EQU #equal - NEQ #not equla - APX #approximate - LES #less - LEQ #less or equal - TPR #precede - TAB #abut - TIN #include SRL: # spatial operators - SZP #above x / y - SZN #under x \ y - SXP #behind x » y - SXN #before x « y - STI #inside - STO #outside - SY1 #beside - SY2 #between - SXY #around ERO: # Event roles - Agent - Asset - Attribute - AttributeOf - Beneficiary - Causer - Co-Agent - Co-Patient - Co-Theme - Consumer - Destination - Duration - Experiencer - Finish - Frequency - Goal - Instrument - Instance - Location - Manner - Material - Path - Patient - Pivot - Product - Recipient - Result - Source - Start - Stimulus - Theme - Time - Topic - Value CRO: # Concept roles - Bearer - Colour - ColourOf - ContentOf - Content - Creator - Degree - MadeOf #- Name - Of - Operand - Owner - Part - PartOf - Player - Quantity - Role - Sub - SubOf - Title - Unit - User TRO: # Time roles - ClockTime - DayOfMonth - DayOfWeek - Decade - MonthOfYear - YearOfCentury ORO: # Other roles. - Affector - Context - Equal - Extent - Precondition - Measure - Cause - Order - Participant c: UOM: - minute - hour - day - week - month - year - centimeter - inch - foot - mile - meter - acre - kilogram - ton - kilometer - pound - yen - dollar - euro - percent - degree_celsius