Module drt_resolve_anaphora
Classes
ApplicationExpression
BooleanExpression
ConcatenationDRS
DRS
EqualityExpression
IffExpression
ImpExpression
LambdaExpression
NegatedExpression
OrExpression
PossibleAntecedents
VariableExpression
[
hide private
]