drs

Class summary
admissibility inherits from drs-condition
command inherits from drs-condition
compound-expression inherits from expression
disjunction inherits from drs-condition
drs inherits from drs-condition
drs-condition
expression
has-part inherits from drs-condition and sentid-mixin
implication inherits from drs-condition
int-expression inherits from expression
list-expression inherits from expression
modifier-adv inherits from drs-condition, type-mixin and sentid-mixin
modifier-pp inherits from drs-condition, type-mixin and sentid-mixin
named-expression inherits from expression
necessity inherits from drs-condition
negation inherits from drs-condition
negation-as-failure inherits from drs-condition
object inherits from drs-condition, type-mixin and sentid-mixin
possibility inherits from drs-condition
predicate inherits from drs-condition, type-mixin and sentid-mixin
property inherits from drs-condition, type-mixin and sentid-mixin
proposition inherits from drs-condition
quantity inherits from drs-condition and sentid-mixin
query inherits from drs-condition and sentid-mixin
question inherits from drs-condition
real-expression inherits from expression
recommendation inherits from drs-condition
referent
relation inherits from drs-condition and sentid-mixin
sentid-mixin
set-expression inherits from expression
string-expression inherits from expression
type-mixin
Method summary
admissibility-drs admissibility
command-drs command
compound-expression-arguments compound-expression
compound-expression-operator compound-expression
disjunction-drs1 disjunction
disjunction-drs2 disjunction
drs-conditions drs
drs-domain drs
has-part-group-ref has-part
has-part-member-ref has-part
has-part-sentid has-part
implication-antecedent implication
implication-consequent implication
int-expression-integer int-expression
list-expression-elements list-expression
modifier-adv-adverb modifier-adv
modifier-adv-degree modifier-adv
modifier-adv-sentid modifier-adv
modifier-adv-type modifier-adv
modifier-pp-preposition modifier-pp
modifier-pp-ref1 modifier-pp
modifier-pp-ref2 modifier-pp
modifier-pp-sentid modifier-pp
modifier-pp-type modifier-pp
named-expression-name named-expression
necessity-drs necessity
negation-as-failure-drs negation-as-failure
negation-drs negation
object-count object
object-dim-type object
object-noun object
object-op object
object-quant object
object-ref object
object-sentid object
object-type object
object-unit object
possibility-drs possibility
predicate-ind-obj-ref predicate
predicate-obj-ref predicate
predicate-ref predicate
predicate-sentid predicate
predicate-subj-ref predicate
predicate-type predicate
predicate-verb predicate
property-adjective property
property-comp-target property
property-degree property
property-ref1 property
property-ref2 property
property-ref3 property
property-sentid property
property-type property
proposition-drs proposition
proposition-ref proposition
quantity-count quantity
quantity-op quantity
quantity-ref quantity
quantity-sentid quantity
query-question-word query
query-ref query
query-sentid query
question-drs question
real-expression-real real-expression
recommendation-drs recommendation
referent-defining-conditions referent
referent-name referent
referent-referers referent
relation-ref1 relation
relation-ref2 relation
relation-sentid relation
sentid sentid-mixin
set-expression-elements set-expression
string-expression-string string-expression
type type-mixin
referent    [Class]
:name    [Initarg]
:referers    [Initarg]
:defining-conditions    [Initarg]
name    [Slot]

The name of the referent, preserved from the DRSXML.

referers    [Slot]

Predicates that refer to the referent.

defining-conditions    [Slot]

DRS conditions which define the referent.

referent-defining-conditions   referent  [Generic function]

Returns the defining-conditions of the specified referent

referent-referers   referent  [Generic function]

Returns the referers of the specified referent

referent-name   referent  [Generic function]

Returns the name of the specified referent

expression    [Class]

Expression is a parent class of all ACE expressions. Expressions correspond to Prolog terms. The classes representing expressions are:

:text    [Initarg]
text    [Slot]

The text of the expression.

named-expression   inherits from expression  [Class]

Named expressions denote objects with proper names.

:name    [Initarg]
name    [Slot]

The string that is the proper name.

named-expression-name   named-expression  [Generic function]

Returns the name of the specified named-expression

int-expression   inherits from expression  [Class]

Int-expressions denote integer values.

:integer    [Initarg]
integer    [Slot]

The number of the integer expression.

int-expression-integer   int-expression  [Generic function]

Returns the integer of the specified int-expression

real-expression   inherits from expression  [Class]

Real-expressions denote real (number) values.

:real    [Initarg]
real    [Slot]

The real of the real expression.

real-expression-real   real-expression  [Generic function]

Returns the real of the specified real-expression

string-expression   inherits from expression  [Class]

String-expressions denote strings.

:string    [Initarg]
string    [Slot]

The string of the string expression.

string-expression-string   string-expression  [Generic function]

Returns the string of the specified string-expression

compound-expression   inherits from expression  [Class]

Compound expressions denote the application of an operator to a sequence of arguments.

:operator    [Initarg]
:arguments    [Initarg]
operator    [Slot]

The operator of the compound expression.

arguments    [Slot]

The arguments of the compound expression. Example suggest that compound expressions always have exactly two arguments.

compound-expression-arguments   compound-expression  [Generic function]

Returns the arguments of the specified compound-expression

compound-expression-operator   compound-expression  [Generic function]

Returns the operator of the specified compound-expression

list-expression   inherits from expression  [Class]

List-expressions denote lists.

:elements    [Initarg]
elements    [Slot]

The elements of the list expression.

list-expression-elements   list-expression  [Generic function]

Returns the elements of the specified list-expression

set-expression   inherits from expression  [Class]

Set-expressions denote sets.

:elements    [Initarg]
elements    [Slot]

The elements of the set expression.

set-expression-elements   set-expression  [Generic function]

Returns the elements of the specified set-expression

drs-condition    [Class]

drs-condition is the class of object which can appear in the conditions of a drs . It is a parent class to all of the various types of drs conditions, and should never be instantiated directly. The types of drs conditions are:

sentid-mixin    [Class]

The class of objects that can be associated with a sentence.

:sentid    [Initarg]
:tokid    [Initarg]
sentid    [Slot]

An integer greater than 0 indicating the sentence of which a component corresponds to the object.

tokid    [Slot]

An integer greater than 0 indicating which token within the sentence the object corresponds to.

sentid   sentid-mixin  [Generic function]

Returns the sentid of the specified sentid-mixin

type-mixin    [Class]

The class of objects that can be typed.

:type    [Initarg]
type    [Slot]

The type of the thing when the DRS is typed.

type   type-mixin  [Generic function]

Returns the type of the specified type-mixin

object   inherits from drs-condition, type-mixin and sentid-mixin  [Class]
:ref    [Initarg]
:noun    [Initarg]
:quant    [Initarg]
:unit    [Initarg]
:op    [Initarg]
:count    [Initarg]
:dim-type    [Initarg]
object-sentid   object  [Generic function]

Returns the sentid of the specified object

object-dim-type   object  [Generic function]

Returns the dim-type of the specified object

object-type   object  [Generic function]

Returns the type of the specified object

object-count   object  [Generic function]

Returns the count of the specified object

object-op   object  [Generic function]

Returns the op of the specified object

object-unit   object  [Generic function]

Returns the unit of the specified object

object-quant   object  [Generic function]

Returns the quant of the specified object

object-noun   object  [Generic function]

Returns the noun of the specified object

object-ref   object  [Generic function]

Returns the ref of the specified object

property   inherits from drs-condition, type-mixin and sentid-mixin  [Class]
:ref1    [Initarg]
:adjective    [Initarg]
:ref2    [Initarg]
:degree    [Initarg]
:comp-target    [Initarg]
:ref3    [Initarg]
property-sentid   property  [Generic function]

Returns the sentid of the specified property

property-type   property  [Generic function]

Returns the type of the specified property

property-ref3   property  [Generic function]

Returns the ref3 of the specified property

property-comp-target   property  [Generic function]

Returns the comp-target of the specified property

property-degree   property  [Generic function]

Returns the degree of the specified property

property-ref2   property  [Generic function]

Returns the ref2 of the specified property

property-adjective   property  [Generic function]

Returns the adjective of the specified property

property-ref1   property  [Generic function]

Returns the ref1 of the specified property

relation   inherits from drs-condition and sentid-mixin  [Class]
:ref1    [Initarg]
:ref2    [Initarg]
relation-sentid   relation  [Generic function]

Returns the sentid of the specified relation

relation-ref2   relation  [Generic function]

Returns the ref2 of the specified relation

relation-ref1   relation  [Generic function]

Returns the ref1 of the specified relation

predicate   inherits from drs-condition, type-mixin and sentid-mixin  [Class]
:ref    [Initarg]
:verb    [Initarg]
:subj-ref    [Initarg]
:obj-ref    [Initarg]
:ind-obj-ref    [Initarg]
predicate-sentid   predicate  [Generic function]

Returns the sentid of the specified predicate

predicate-type   predicate  [Generic function]

Returns the type of the specified predicate

predicate-ind-obj-ref   predicate  [Generic function]

Returns the ind-obj-ref of the specified predicate

predicate-obj-ref   predicate  [Generic function]

Returns the obj-ref of the specified predicate

predicate-subj-ref   predicate  [Generic function]

Returns the subj-ref of the specified predicate

predicate-verb   predicate  [Generic function]

Returns the verb of the specified predicate

predicate-ref   predicate  [Generic function]

Returns the ref of the specified predicate

modifier-adv   inherits from drs-condition, type-mixin and sentid-mixin  [Class]
:ref    [Initarg]
:adverb    [Initarg]
:degree    [Initarg]
modifier-adv-sentid   modifier-adv  [Generic function]

Returns the sentid of the specified modifier-adv

modifier-adv-type   modifier-adv  [Generic function]

Returns the type of the specified modifier-adv

modifier-adv-degree   modifier-adv  [Generic function]

Returns the degree of the specified modifier-adv

modifier-adv-adverb   modifier-adv  [Generic function]

Returns the adverb of the specified modifier-adv

modifier-pp   inherits from drs-condition, type-mixin and sentid-mixin  [Class]
:ref1    [Initarg]
:preposition    [Initarg]
:ref2    [Initarg]
modifier-pp-sentid   modifier-pp  [Generic function]

Returns the sentid of the specified modifier-pp

modifier-pp-type   modifier-pp  [Generic function]

Returns the type of the specified modifier-pp

modifier-pp-ref2   modifier-pp  [Generic function]

Returns the ref2 of the specified modifier-pp

modifier-pp-preposition   modifier-pp  [Generic function]

Returns the preposition of the specified modifier-pp

modifier-pp-ref1   modifier-pp  [Generic function]

Returns the ref1 of the specified modifier-pp

has-part   inherits from drs-condition and sentid-mixin  [Class]
:group-ref    [Initarg]
:member-ref    [Initarg]
has-part-sentid   has-part  [Generic function]

Returns the sentid of the specified has-part

has-part-member-ref   has-part  [Generic function]

Returns the member-ref of the specified has-part

has-part-group-ref   has-part  [Generic function]

Returns the group-ref of the specified has-part

quantity   inherits from drs-condition and sentid-mixin  [Class]
:ref    [Initarg]
:op    [Initarg]
:count    [Initarg]
quantity-sentid   quantity  [Generic function]

Returns the sentid of the specified quantity

quantity-count   quantity  [Generic function]

Returns the count of the specified quantity

quantity-op   quantity  [Generic function]

Returns the op of the specified quantity

quantity-ref   quantity  [Generic function]

Returns the ref of the specified quantity

query   inherits from drs-condition and sentid-mixin  [Class]
:ref    [Initarg]
:question-word    [Initarg]
query-sentid   query  [Generic function]

Returns the sentid of the specified query

query-question-word   query  [Generic function]

Returns the question-word of the specified query

query-ref   query  [Generic function]

Returns the ref of the specified query

negation   inherits from drs-condition  [Class]
:drs    [Initarg]
negation-drs   negation  [Generic function]

Returns the drs of the specified negation

negation-as-failure   inherits from drs-condition  [Class]
:drs    [Initarg]
negation-as-failure-drs   negation-as-failure  [Generic function]

Returns the drs of the specified negation-as-failure

implication   inherits from drs-condition  [Class]
:antecedent    [Initarg]
:consequent    [Initarg]
implication-consequent   implication  [Generic function]

Returns the consequent of the specified implication

implication-antecedent   implication  [Generic function]

Returns the antecedent of the specified implication

disjunction   inherits from drs-condition  [Class]
:drs1    [Initarg]
:drs2    [Initarg]
disjunction-drs2   disjunction  [Generic function]

Returns the drs2 of the specified disjunction

disjunction-drs1   disjunction  [Generic function]

Returns the drs1 of the specified disjunction

possibility   inherits from drs-condition  [Class]
:drs    [Initarg]
possibility-drs   possibility  [Generic function]

Returns the drs of the specified possibility

necessity   inherits from drs-condition  [Class]
:drs    [Initarg]
necessity-drs   necessity  [Generic function]

Returns the drs of the specified necessity

recommendation   inherits from drs-condition  [Class]
:drs    [Initarg]
recommendation-drs   recommendation  [Generic function]

Returns the drs of the specified recommendation

admissibility   inherits from drs-condition  [Class]
:drs    [Initarg]
admissibility-drs   admissibility  [Generic function]

Returns the drs of the specified admissibility

proposition   inherits from drs-condition  [Class]
:ref    [Initarg]
:drs    [Initarg]
proposition-drs   proposition  [Generic function]

Returns the drs of the specified proposition

proposition-ref   proposition  [Generic function]

Returns the ref of the specified proposition

question   inherits from drs-condition  [Class]
:drs    [Initarg]
question-drs   question  [Generic function]

Returns the drs of the specified question

command   inherits from drs-condition  [Class]
:drs    [Initarg]
command-drs   command  [Generic function]

Returns the drs of the specified command

drs   inherits from drs-condition  [Class]
:domain    [Initarg]
:conditions    [Initarg]
drs-conditions   drs  [Generic function]

Returns the conditions of the specified drs

drs-domain   drs  [Generic function]

Returns the domain of the specified drs

object-quant   (quote (member :dom :mass :countable :named))  [Type]

Quantities are one of :dom, :mass, :countable, and :named, and indicate the quantisation of an object.

object-op   (quote (member :eq :geq :greater :exactly :na))  [Type]

One of :eq, :geq, :greater, :exactly, :na.

property-degree   (quote (member :pos :pos-as :comp :comp-than :sup))  [Type]

Property degree values are one of the following: :pos, :pos-as, :comp, :comp-than, and :sup.

property-comp-target   (quote (member :subj :obj))  [Type]

Property comp-target values are either :subj, or :obj, indicating whether the target of the comparison is the subject or the object of the sentence.

modifier-adv-degree   (quote (member :pos :comp :sup))  [Type]

Possible adverb modifier degrees: :pos, :comp, :sup.

quantity-op   (quote (member :leq :less))  [Type]

Possible values for the quantity-op: :leq, :less.

query-question-word   (quote (member :who :what :which :how :where :when))  [Type]

Possible values for query question words: :who, :what, :which, :how, :where, :when.