clf_signature.yaml

# 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
    - TOPIC

  PRE:
    - PRESUPPOSITION

bxb:
  DRS:
    - PRP

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. #FIXME They need to be verified
    - 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