But the general outlines are reasonably clear , and we can adapt some of the UDRS ( Reyle 1995 ) work to our own framework .
on reasoning with ambiguities
Uwe Reyle
Developing a calculus for reasoning with QLFs is too large a task to be undertaken here . But the general outlines are reasonably clear , and we can adapt some of the UDRS ( Reyle 1995 ) work to our own framework . Reyle points out that many of the inferences involving underspecified representations that we would like to capture rely on the assumption that whatever context disambiguates the premise also disambiguates the conclusion , even if we do not know what that context or disambiguation is .
But the general outlines are reasonably clear , and we can adapt some of the UDRS ( @@CITATION ) work to our own framework .