Formal Representation of Quantified English Expressions

8/4/2019 Formal Representation of Quantified English Expressions

1/12

R o l e s , C o - D e s c r i p t o r s , a n d t h eF o r m a l R e p r e s e n t a t io n o f Q u a n t i f ie d E n g lis h E x p r e s s io n sW i l l i a m A . M a r t i n 1

L a b o r a t o r y f o r C o m p u t e r S c i e n c eM a s s a c h u s e t t s I n s t it u t e o f T e c h n o l o g yC a m b r i d g e , M a s s a c h u s e t t s 0 2 1 3 9A s c h e m e i s p r o p o s e d f o r r e p r e s e n t i n g t h e l o g ic a l f o r m o f E n g l i s h s e n t e n c e s , w h e r e i n

t h e m e a n i n g o f a n e t w o r k n o d e d e p e n d s o n h o w i t is r el a t e d t h r o u g h " r o l e - i n " l i nk s t on o d e s r e p r e s e n t i n g m o r e a g g r e g a t e e n t i t i e s . I t i s a r g u e d t h a t r o l e s a r e a n a t u r a l d e v i c e f o rc a p t u r i n g m a n y l i n g u i s t i c a n d p h i l o s o p h i c d i s t i n c t i o n s , a n d t h a t t h e y a r e c o n v e n i e n t f o rc o m p u t a t i o n a l p r o c e s si n g . I n pa r t ic u l ar , i t i s s h o w n h o w r o l e - i n l i n k s m a y b e a d v a n t a g e o u s -l y u s e d i n li e u o f q u a n t i f i e r s c o p e t o r e p r e s e n t q u a n t i f i c a ti o n a l d e p e n d e n c i e s .

1. IntroductionI n r e p r e s e n t i n g t h e s e m a n t i c s o f E n g l i s h s e n t e n c e s ,

i t i s t r a d i t i o n a l t o d i s t i ng u i s h " l o g i c a l f o r m " f r o m s e -m a n t i c c o n t e n t . C h o m s k y [2 ] , f o r i n s t a n c e , i n t r o d u c e sL F ( h i s v e r s i o n o f l o g i c a l f o r m ) a s a l i n g u i s ti c l e v e l o fr e p r e s e n t a t i o n b e t w e e n s y n t a x ( p h r a s e s t ru c t u r e ) a n ds e m a n t i c s .

R e p r e s e n t a t i o n s o f lo g i c a l f o r m , w h i c h a r e t y p i c a l l yb a s e d o n p r e d i c a t e c a l c u l u s o r l a m b d a c a l c u l u s , m u s tb e c a r e f u l l y c h o s e n f o r e m p i r i c a l a d e q u a c y a s w e l l a sc o m p u t a t i o n a l c o n v e n i e n c e . T h e r e a r e a t l e a st t h r e eg e n e r a l w a y s i n w h i c h p r e d i c a t e o r l a m b d a c a l c u l u sm i g h t b e c a r r i e d o v e r in t o r e p r e s e n t a t i o n s o f lo g i c a lf o r m :

( l a ) d i r e c t l y ( a s b y a t h e o r e m p r o v e r ) ;( l b ) b y r e p la c i n g q u a n t i f ic a t i o n w i t h d y n a m i -

c a l l y s c o p e d i t e r a t i o n p r o c e d u r e s ( a s i nW o o d s [ 3 0 ] ) ; o r

1 This paper was substantially revised after Professor Martin'sdeath by a group of his colleagues to satisfy length constraints andto take advantage of the reviewers' extensive and thoughtful com-ments. We wish to thank the editor and reviewers for their cooper-ation under these unfortu nate circumstances. Prof. Martin's origi-nal acknowledgment follows.

Ken Church, Lowell Hawkinson, Mitchell Marcus, Peter Szolo-vits, and Lucia Vaina read an earlier version of this manuscript andmade many helpful comments. Ellen Lewis and Anne Schmitt didan excellent job of preparing the manuscr ipt and figures. Thisresearch was supported by the Defense Advance Research ProjectsAgency and monitored by the Office of Naval Research undercontracts N00014-75-C- 0661 and N00014-80- C-0505.

( l c ) b y t r a n sl a t in g i n t o a s e m a n t i c n e t w o r kf o r m a l i s m ( a s i n H e n d r i x [ 1 0 ] ) .

T h e s e c o n d a n d t h i r d a r e m o r e p r o c e s s - o r i e n t e d ; t h a ti s, t h e y m o r e c l o s e l y r e l a t e e l e m e n t s o f t h e r e p r e s e n t a -t i o n a n d s t a t e s i n t h e in t e r p r e t a t i o n p r o c e s s . I n m yv i e w , a p r o c e s s o r i e n t a t i o n i s n e e d e d i f i s s u e s o f e f f i -c i e n c y a r e t o b e d i s c u s s e d a t a l l. 2 O n e k e y t o e f f i c i e n -c y is t h e d e l a y i n g o f d e c i s i o n s a s l o n g a s p o s s i b l e .T h i s is e a s i e r t o a c h i e v e w h e n d i f f e r e n c e s b e t w e e na l t e r n a t i v e i n t e r p r e t a t i o n s a r e m i n i m i z e d .

T h e t w o p r o c e s s - o r i e n t e d a p p r o a c h e s n o t e d a b o v ed i f f e r i n t h e ir tr e a t m e n t o f s c op e d e p e n d e n c i e s . F o re x a m p l e , w e c a n m o d e l " e a c h b o t t l e " i n

( 2 ) E a c h c o r k i s f a s t e n e d t o e a c h b o t t l e b y as m a l l w i r e b a s k e t .

w i t h a q u a n t i f i e r li k e ( x : b o t t l e ) , a n d t h e n t r a n s l a t et h a t i n t o a n e x p li c i t F O R l o o p c l a us e . A l t e r n a t i v e l y ,w e c a n e m p l o y S k o l e m f u n c t i o n s , w i t h " w i r e " a n d" b a s k e t " m o d e l e d a s f u n c t io n s o f a v a r i a b le r a n g i n go v e r " b o t t l e " . T h e s e f u n c t i o n s a n d v a r ia b l e s c a n t h e nb e r e p r e s e n t e d i n a s e m a n t i c n e t w o r k , a l o n g t h e l i n e sd i s c u s s e d i n " W h a t ' s i n a L i n k ? " [ 2 9 ] .

I c h o o s e t o a d o p t a p a r t i c u l a r s e m a n t i c n e t w o r ka p p r o a c h w h e r e i n i t is m o r e a p p r o p r i a t e t o v i e w m e a n -i n gs o f n o d e s d e c o m p o s i t i o n a l l y ( i. e ., a s d e p e n d e n tu p o n w h a t t h e y a r e c o n s t i t u e n t s o f ) r a t h e r t h a n c o m -p o s i t i o n a l l y ( i .e . , a s f u l ly d e t e r m i n e d b y t h e m e a n i n g s

2 It is unclear how to pose efficiency questions in a non-process-oriented framework, where even effectiveness may berejected as a desideratum.

Copyright 1981 by the Associ ation for Comput atio nal Linguistics. Permis sion to copy. witho ut fee all or part of this material is grante dprovided that the copies are not made for direct commercial advantage and the Journal reference and this copyright notice are included onthe first page. To copy otherwise, or to republish, requires a fee an d/ or specific permission.

0 3 6 2 - 6 1 3 x / 8 1 / 0 3 0 1 3 7 - 1 2 5 0 1 : 0 0A m e r i c a n J o u r n a l o f C o m p u t a t i o n a l L i n g u i s t i c s, V o l u m e 7 , N u m b e r 3 , J u l y - S e p t e m b e r 1 98 1 1 3 7


2/12

W i l l i a m A . M a r t i n R o l e s , C o - D e s c r i p t o r s , a n d t h e F o r m a l R e p r e s e n t a t i o n o f Q u a n t i f i e d E n g l i s h E x p r e s s i o n

o f t h e i r c o n s t i t u e n t s ) . M o r e s p e c i fi c a l ly , t h e m e a n i n go f a n e t w o r k n o d e d e p e n d s ( d e c o m p o s i t i o n a l l y ) o nh o w i t is r e l a t e d t h o u g h " r o l e - i n l in k s ' '3 to n o d e s r e p -r e s e n t in g m o r e a g g r e g a t e en t it ie s . T h e d e c o m p o s i t i o n -a l v i e w i s p r e f e r a b l e f o r e x p l a i n i n g a n u m b e r o f l i n -g u i s ti c p h e n o m e n a . I w i ll s h o w , i n t h is p a p e r , t h a tm a n y i m p o r t a n t l in g u is t ic a n d p h i l o s o p h i c a l d i s ti n c -t i o n s c a n b e a n a l y z e d a s d i f f e r e n c e s i n r o l e - i n l i n k a g -e s. A m o n g t h e s e a r e t h e i n t e n s i o n a l / e x t e n s i o n a l ,r e f e r e n t i a l / a t t ri b u t i v e , a n d d i s t r i b u t i v e / c o l l e c ti v e d i s-t i n c t i o n s .

M y a p p r o a c h t u r n s o u t t o b e m o r e c o m p l e x t h a ns o m e , b u t I w i l l a r g u e t h a t i t c a p t u r e s s u b t l e c a s e s i n am o r e n a t u r a l w a y a n d t h a t i t i s s u p e r i o r f o r c o m p u t a -t i o n a l p u r p o s e s . I n d e e d it h a s b e e n m y e x p e r i e n c e ( a si n t h e d e v e l o p m e n t o f M A C S Y M A [ 1 3] ) t h a t a r e p r e -s e n t a t io n a l f o r m a l i s m w i th m o r e c o n s t r u c t s o f t e n p e r -m i t s m o r e e f f i c ie n t p r o c e s s i n g t h a n a f o r m a l i s m b a s e do n a s m a l l e r se t o f m o r e p r i m i t i v e o p e r a t o r s . I s u s p e c tt h a t t h i s e x p e r i e n c e w i l l s t r i k e h o m e w i t h m a n y r e a d -e r s f a m i l i a r w i t h t h e d i f f i c u l t i e s e n c o u n t e r e d b yp r e d i c a t e - c a l c u l u s - b a s e d t h e o r e m p r o v e r s .

t~1 ge ne ric no de i nd i v i dua l node

may-be-descr ibed -asrole-ininher i ts- from

F i g u re l a . N o t a t i o n u s e d i n n e t w o r k s .

2 . R o l e sF i g u r e s l a - l c i l lu s t r at e t h e s o r t o f s e m a n t i c n e t -

w o r k I u s e . ( I n t h e s e a n d s u b s e q u e n t f i g u r e s , o n l yt h o s e n o d e s a n d l i n k s a r e s h o w n t h a t a r e r e l e v a n t t ot h e is s u e s u n d e r d i s cu s s i o n . B y c o n v e n t i o n , l i n k s w i t h -o u t a r r o w h e a d s a r e t o b e t a k e n a s d i r e c t e d u p w a r d s . )

T h e n e t w o r k s s h o w n i n t h i s f i g u r e h a v e t w o k i n d so f n o d e s , gener ic a n d i ndiv idual , a n d t h r e e k i n d s o fl i n k s , i nher i t s - f rom, may-be-descr ibed-as , a n d role-in.G e n e r i c n o d e s ( e . g. A R C H ) r e p r e s e n t g e n e r i c o b j e c t s ;i n d iv i d u al n o d e s ( e. g. A R C H - 1 a n d A R C H - 2 ) r e p r e -s e n t i n s t a n c e s o f g e n e r i c o b j e c t s . I n h e r i t s - f r o m l in k sa r e u s e d t o s a y t h a t t h e i n d i v id u a l s A R C H - 1 a n dA R C H - 2 i n he r it p r o p e r ti e s f r o m th e g e n e ri c A R C H .M a y - b e - d e s c r i b e d - a s l i n k s a r e u s e d t o i n d i c a t e t h a t a nA R C H is a S T R U C T U R E . 4 F i n a ll y , r o l e -i n l in k s a r eu s e d t o i n d ic a t e t h a t R 1 a n d R 2 a r e p a r t s o f t h e g e n -e r ic A R C H . T h e " m e a n i n g " o f a n o d e d e p e n d s p r im a -r il y u p o n r o l e - i n l in k s t h a t c o n n e c t i t to n o d e s r e p r e -s e n t i n g m o r e a g g r e g a t e e n t i t i e s .

M y r e p r e s e n t a t i o n i s s i m i l a r t o s e v e r a l i n t h e l i t e r a -t u re . G e n e r i c n o d e s c o r r e s p o n d t o M i n s k y fr a m e s [ 1 6]a n d r o l e s ( p a r t s o f g e n e r i c o b j e c t s ) c o r r e s p o n d t o sl o t s( p a r t s o f f r a m e s ) . O n e c a n a l s o d r a w a n a l o g i e s w i t hs e t t h e o r y . M a y - b e - d e s c r i b e d - a s l in k s a n d i n h e r i ts -f r o m a r e s i m i l a r t o s e t i n c l u s i o n a n d s e t m e m b e r s h i p .

3 R o l e - i n l i n k s c o u l d b e v i e w e d l o g i c a l l y a s S k o l e m d e p e n d e n -c i e s .

4 M a y - b e - d e s c r i b e d - a s a n d i n h e r i t s - f r o m a r e s i m i l a r t o " i s - a "l i n k s .

Figure l b . S i m p l i f i e d s t r u c t u r a l d e s c r i p t i o n o f a n a r c h .

ARCH-1

T STRUCTURE

I ~ , A R C H

R 2 A R C , - 2\ /

\ # t /\ I t /# ~, / R2-1 g R2-2

Figure l c . A n e x a m p l e o f i n d i v id u a l n o d e s .

T h a t i s ,( 3a ) A R C H m a y - b e - d e s c ri b e d - as S T R U C T U R E( 3 b) A R C H - 1 i n h er i t s - f ro m A R C Ha r e a n a l o g o u s t o( 4 a ) t h e s e t o f a ll A R C H e s i s a s u b s e t o f t h e

s e t o f a l l S T R U C T U R E s( 4 b ) A R C H - 1 i s a m e m b e r o f th e s e t o f al l

A R C H e sH o w e v e r , t h e r e i s a n i m p o r t a n t d i f f e r e n c e i n t h e sm a n t i c i n t e r p r e ta t i o n : m a y - b e - d e s c r i b e d - a s l in k s ai n t e r p r e t e d a s r e l a t i n g intensions e x p r e s s e d b y g e n e rn o d e s , w h e r e a s s u b s e t r e l a t i o n s o p e r a t e o n s e t s

1 3 8 A m e r i c a n J o u r n a l o f C o m p u t a t i o n a l L i n g u i s t i c s , V o lum e 7 , N um ber 3 , Ju l y - S ep te mbe r 19


3/12

W i l l i a m A . M a r t i n R o l e s, C o - D e s c r i p t o r s , a n d t h e F o r m a l R e p r e s e n t a t i o n o f Q u a n t i f i e d E n g l i s h E x p r e s s i o n s

i n d i v id u a l s . I c o n s i d e r t h e i n t e n s i o n / e x t e n s i o n d i s t i n c -t i o n e x t r e m e l y i m p o r t a n t , b e c a u s e i n t e n s i o n a l r e p r e -s e n t a t i o n s a p p e a r t o b e m o r e n a t u r a l f o r c e r t a i n s e n -t e n e e s . 5

M y r e p r e s e n t a t i o n d o e s n o t d e a l w i t h c o n t e x t u a lp r o b l e m s b y a s s u m i n g a s e t o f o b j e c t s c a l l e d c o n t e x t s( o r p a r t i t i o n s ) a n d t h e n s o m e h o w s t i p u l a t i n g a c o n t e x tl in k f o r e a c h n o d e . I n s t e a d , I a r g u e t h a t r o l e s al l o w am o r e n a t u ra l m o d e l i n g o f t h e c o n t e x t p h e n o m e n a . F o re x a m p l e , F i g u r e 2 s h o w s h o w H e n d r i x [ 1 0 ] r e p r e s e n t st h e f a c t t h a t l e g a l p e r s o n s c a n o w n p h y s i c a l o b j e c t s .R e c t a n g l e s ( a n d s q u a r e s ) r e p r e s e n t p a r t i t io n s( c o n t e x t s ) . A n i n d i v i d u a l o r s e t i s i n a p a r t i t i o n i f i t sr e p r e s e n t i n g c i r c l e i s i n t h e r e c t a n g l e r e p r e s e n t i n g t h a tp a r t i t i o n . I n th i s f ig u r e , t h e i n d i v i d u a l I i s a n i m p l i c a -t i o n t h a t a n y i n d i v i d u a l o w n i n g X h a s a n i n d i v i d u a la g e n t Y , w h i c h i s a l e g a l p e r s o n ; a n i n d i v i d u a l o b j e c tZ , w h i c h i s a p h y s i c a l o b j e c t ; a n i n d i v i d u a l s t a r t - t i m et 1 , w h i c h i s a t i m e ; a n d a n i n d i v i d u a l e n d - t i m e t 2 ,w h i c h i s a l s o a t i m e .

T h i s s a m e i n f o r m a t i o n i s s h o w n i n F i g u r e 3 , u s i n gt h e n o t a t i o n p r e s e n t e d h e r e . F i g u r e 3 e l i m i n a t e s t h ei n d i v i d u a l s I a n d X , t h e i m p l i c a t i o n n o d e , t h e c o n t e x ts u r r o u n d i n g I , a n d t h e c o n t e x t s u r r o u n d i n g Y , Z , t 1 ,a n d t 2 . S o m e o f t h e s e a r e r e p l a c e d i n F i g u r e 3 w i t h ar i c h e r v a r i e t y o f n o d e t y p e s ; I b e l i e v e t h e s e t y p e s h a v eb e t t e r l i n g u i s t i c a n d p h i l o s o p h i c a l m o t i v a t i o n s t h a nH e n d r i x ' s a b s t r a c t i n d i v i d u a l s , c o n t e x t s , a n d i m p l i c a -t i o n s .3 . R e f e r e n c e a n d D e f i n i t e D e s c r i p t i o n s

R u s s e l l ' s [ 2 2 ] a n a l y s i s o f a s i n g u l a r d e f i n i t e d e s c r i p -t i o n r e q u i r e d t h e e x i s t e n c e o f a u n i q u e o b j e c t s a t i s f y -i n g t h e d e s c r i p t i o n i n o r d e r f o r t h e e x p r e s s i o n t o d e -n o t e a n y t h i n g , a n d h e n c e i t fa i ls t o a c c o u n t f o r th es u c c e s s f u l r e f e r e n c e o f a n o u n p h r a s e l i k e " t h e c l o c k "in

( 5 ) D i d y o u w i n d t h e c l o c k ?S t r a w s o n [ 2 5 ] v ie w s t h e s e d e f i n i t e d e s c r i p t i o n s i n

r e l a ti v i s ti c t e r m s : e v e n w h e n t h e r e f e r e n t c a n n o t b ed e t e r m i n e d i n a n a b s o l u t e s e n s e , a s a p a r t i c u l a r c l o c kf o r e x a m p l e , t h e d e s c r i p t i o n s t i l l h a s s o m e m e a n i n gr e l a t i v e t o w h a t e v e r t h e c o n t e x t t u r n s o u t t o b e .

( 6 ) W h e n s h a l l w e s a y t h a t a h e a r e r k n o w s w h a tp a r t i c u l a r i s b e i n g r e f e r r e d t o b y a s p e a k e r ?C o n s i d e r f ir s t t h e f o l l o w i n g c a s e . A s p e a k e rt e l ls a s t o r y w h i c h h e c l a i m s to b e f a c t u a l . I tb e g i ns , " A m a n a n d a b o y w e r e s t a n d i n g b ya f o u n t a i n , " a n d it c o n t i n u e s : " T h e m a n h a da d r i n k " . S h a ll w e s a y t h a t t h e h e a r e r k n o w s

5 1 choose to avoid the question of formal adequacy becausealmost all systems, intensional as well as extensional, are formallyadequate in the sense that they are capable of representing all(effective) functions. A much more interesting question is whetherthey are capable of representing all functions in a natural way.

w h i c h o r w h a t p a r t i c u l a r i s b e i n g r e f e r r e d t ob y t h e s u b j e c t e x p r e s s i o n i n t h e s e c o n d s e n -t e n c e ? W e m i g h t s a y s o . F o r , o f a c e r t a i n

_ r a n g e o f tw o p a r t i c u la r s t h e w o r d s " t h e m a n "s e r v e t o d i s t i n g u i s h t h e o n e b e i n g r e f e r r e d t o ,b y m e a n s o f a d e s c r i p t i o n w h i c h a p p l i e s o n l yt o h im . B u t t h o u g h t h i s is , i n a w e a k s e n s e ,a c a s e o f i d e n t i f i c a t i o n , I s h a l l c a l l i t o n l y astory-relative o r , f o r s h o r t , a relative i d e n t i f i -c a t i o n . F o r i t i s i d e n t i f i c a t i o n o n l y r e la t i v et o a r a n g e o f p a r t i c u l a r s ( a r a n g e o f t w om e m b e r s ) w h i c h i s i t se l f id e n t i f ie d o n l y a st h e r a n g e o f p a r t ic u l a r s b e i n g t a l k e d a b o u tb y t h e s p e a k e r . T h a t i s t o s a y , t h e h e a r e r ,h e a r i n g t h e s e c o n d s e n t e n c e , k n o w s whichp a r t i c u l a r c r e a t u r e i s b e i n g r e f e r r e d t o o f t h etwo par t i cu lar c rea ture s be ing t a l ked abou t bythe speaker ; b u t h e d o e s n o t , w i t h o u t t h i sq u a l i f i c a t i o n , k n o w w h a t p a r t i c u l a r c r e a t u r ei s b e i n g r e f e r r e d t o . T h e i d e n t i f i c a t i o n i sw i t h i n a c e r t a i n s t o r y t o l d b y a c e r t a i ns p e a k e r . I t i s i d e n t i f i c a t i o n w i t h i n h is s t o r yb u t n o t i d e n t i f i c a t i o n w i t h i n h i s t o r y .

F o l l o w i n g t h is li n e o f t h o u g h t , s e n t e n c e ( 5 ) m i g h tb e r e p r e s e n t e d a s f o l l o w s , w h e r e c l o c k - 1 d e s c r i b e s ap a r t i c u l a r c l o c k a n d t h e - c l o c k - 1 d e s c r i b e s t h e c l o c kr e l a t i v e t o t h e d i s c o u r s e .( 7 ) r . . . . . . . . . . . . . > . . . . . . . . . . . . . . . ,c lo t : k -1 room-1 house -1 t

;~ d i s c o u r s e - 1 r e a l - w o r l dIIIII t h e - c l o c k - 1I . . . . . . .

C l o c k a n d C l o c k -1 a r e co-descr ip to rs b e c a u s e t h e yb o t h d e s c r i b e t h e s a m e i n d i v i d u a l . ( T h e te r m c o -d e s c r i p t i o n i s c h o s e n o v e r c o - r e f e r e n c e o r c o -d e n o t a t i o n t o a v o i d i m p l i c a t i o n s o f i n t e n s i o n a l i t y a n de x i s t e n c e . )

C o - d e s c r i p t i o n i s a p p r o p r i a t e i n ( 7 ), b u t s u r e l y n o te v e r y o c c u r r e n c e o f t h e - c l o c k w i l l r e f e r t o c l o c k - 1 .F o r e x a m p l e , W e b b e r [ 2 8 ] p o i n t s o u t t h a t i n

( 8 a ) W e n d y b o u g h t a y e l lo w T - s h i r t th a t B r u c eh a d l i k e d .

( 8 b ) I t c o s t t w e n t y d o l l a r s.a n a p p r o p r i a t e d e s c r i p t i o n o f th e e n t i t y r e f e r r e d t o b y" i t " i s n o t " t h e y e l l o w T - s h i r t t h a t B r u c e h a d l i k e d , "s i n c e ( 8 a ) i s tr u e e v e n i f B r u c e h a d l i k e d s e v e r a l T -s h i r t s ( a n d b o t h t h e s p e a k e r a n d t h e l i s t e n e r w e r ea w a r e o f t h e f a c t) . N o r is i t " t h e y e l l o w T - s h i r t t h a tB r u c e h a d l ik e d a n d W e n d y b o u g h t , " s i nc e ( 8 b ) c a nb e t r u e e v e n if W e n d y h a d b o u g h t s e v e r a l s u c h T -s h i rt s . A n a p p r o p r i a t e d e s c r i p t i o n i s s o m e t h i n g li k e" t h e y e l l o w T - s h i r t t h a t B r u c e h a d l ik e d a n d t h a t

A m e r i c a n J o u r n a l o f C o m p u t a t i o n a l L i n g u i s t i c s , V o l u m e 7 , N u m b e r 3 , J u l y - S e p t e m b e r 1 98 1 1 3 9


4/12

W i l l i a m A . M a r t i n R o l es , C o - D e s c r i p t o rs , a n d t h e F o r m a l R e p r e s e n t a t i o n o f Q u a n t i f i e d E n g l i s h E x p r e s s i o n s

O W N I N G Sd e l i n e a t i o n

I M P L I C A T I O N S

T I M E S

Figure 2. The delineation theore m of ownings (Hendri x).

F - - - - - - ' L ~ I E . . . . . . . . . . . . . . . . . . . . . . . . . . . . .II r - ~ . . . . . . . . . . . . . . . . . . . . . oI I r ' ~ . . . . . . . . . . . . . . Ii I . a g t

W - - - < - - - - 0 loob jp rocess I I

I II l ega l -person I physob jZ 'I!I !! !o w n i n g ~ /

~ - - w Zi ~ ' , ~I ~ , ~ ~ . . . . . . . . . . . . . . I

Istart l~ime end - t ime

t ime

I II I

i ~ - , , , C . . . . . . . . . . . . . . . . . . . . . i aI I

Figure 3. The infor mation of Figure 2 in the notation of this paper.

1 4 0 A m e r i c a n J o u r n a l o f C o m p u t a t i o n a l L i n g u i s t i c s , V o l u m e 7 , N u m b e r 3 , J u l y - S e p t e m b e r 1 98 1


5/12

W i l l i a m A . M a r t i n R o l e s , C o - D e s c r i p t o r s , a n d t h e F o r m a l R e p r e s e n t a t i o n o f Q u a n t i f i e d E n g l i s h E x p r e s s i o n s

W e n d y b o u g h t a n d t h a t w a s m e n t i o n e d in ( 8 b ) " . A c -c o r d i n g l y , ( 7 ) n e e d s t o b e a m e n d e d s o t h a t t h e - c l o c k - 1i s r e l a t iv e t o t h e s e n t e n c e " d i d y o u w i n d t h e c l o c k " .( 9 ) r- . . . . . . . . . . . . . > . . . . . . . . . . . . . . . jclock-1 room-1 house .1 =

~1 disc ourse. 1 real-worlddid-you-win6[the-clock -1 I the-clock -1e .

3 .1 R e f e r e n t i a l a n d A t t r i b u t i v e U s e o fD e f i n i t e D e s c r i p t i o n s

D o n n e l l a n [ 3 ] h a s s u g g e s t e d t h a t d e f i n i t e d e s c r i p -t i o n s l ik e " t h e c l o c k " h a v e t w o u se s : r e f e r e n t i a l a n da t t r ib u t i v e . A t t r i b u t i v e u s e a s s e r t s s o m e t h i n g a b o u t" w h o e v e r o r w h a t e v e r i s t h e s o - a n d - s o " ; r e f e r e n t i a lu s e i s i n t e n d e d t o a l l o w t h e h e a r e r t o i d e n t i f y a t o n c e ,i n h i s o w n t e r m s , w h o o r w h a t i s b e i n g t a l k e d a b o u t .

( 1 0 ) I w i l l c a l l t h e t w o u s e s o f d e f i n i t e d e s c r i p -t i o n s I h a v e i n m i n d t h e a t t r i b u t i v e u s e a n dt h e r e f e r e n t i a l u s e . A s p e a k e r w h o u se s ad e f i n i t e d e s c r i p t i o n a t t r i b u t i v e l y i n a n a s s e r -t i o n s t a t e s s o m e t h i n g a b o u t w h o e v e r o rw h a t e v e r i s t h e s o - a n d - s o . A s p e a k e r w h ou s e s a d e f i n i t e d e s c r i p t i o n r e f e r e n t i a l l y i n a na s s e r t i o n , o n t h e o t h e r h a n d , u s e s t h e d e -s c r i p t i o n t o e n a b l e h i s a u d i e n c e t o p i c k o u tw h o m o r w h a t h e i s t a lk i n g a b o u t a n d s t a t e ss o m e t h i n g a b o u t t h a t p e r s o n o r t h i n g. I n t h ef i r s t c a s e t h e d e f i n i t e d e s c r i p t i o n m i g h t b es a i d t o o c c u r e s s e n t i a l l y , f o r t h e s p e a k e rw i s h e s t o a s s e r t s o m e t h i n g a b o u t w h a t e v e r o rw h o e v e r f i t s t h a t d e s c r i p t i o n ; b u t i n t h e r e f -e r e n t i a l u s e t h e d e f i n i t e d e s c r i p t i o n i s m e r e l yo n e t o o l f o r d o i n g a c e r t a i n j o b - - c a l l i n g a t -t e n t i o n t o a p e r s o n o r t h i n g - - a n d i n g e n e r a la n y o t h e r d e v i c e f o r d o i n g t h e s a m e j o b , a n -o t h e r d e s c r i p t i o n o r a n a m e , w o u l d d o a sw e l l . I n t h e a t t r i b u t i v e u s e , t h e a t t r i b u t e o fb e i n g t h e s o - a n d - s o i s a l l i m p o r t a n t , w h i l e i ti s n o t i n t h e r e f e r e n t i a l u s e .

T o i l l u s t r a t e t h i s d i s t i n c t i o n , i n t h e c a s e o fa s i n g l e s e n t e n c e , c o n s i d e r t h e s e n t e n c e ," S m i t h ' s m u r d e r e r is i n s a n e " . S u p p o s e f ir s tt h a t w e c o m e u p o n p o o r S m i t h f o u ll y m u r -d e r e d . F r o m t h e b r u t a l m a n n e r o f t h e k i ll in ga n d t h e f a c t t h a t S m i t h w a s t h e m o s t l o v a b l ep e r s o n i n t h e w o r l d , w e m i g h t e x c l a i m ," S m i t h ' s m u r d e r e r i s i n s a n e " . I w i ll a s s u m e ,t o m a k e i t a s i m p l e r c a s e , t h a t i n a q u i t e o r -d i n a r y s e n s e w e d o n o t k n o w w h o m u r d e r e dS m i t h ( t h o u g h t h i s i s n o t i n t h e e n d e s s e n t i a lt o t h e c a s e ) . T h i s I s h a l l s a y , i s a n a t t r i b -u t i v e u s e o f t h e d e f i n i t e d e s c r i p t i o n .

T h e c o n t r a s t w i t h s u c h a u s e o f t h e s e n -t e n c e i s o n e o f t h o s e s i t u a t io n s i n w h i c h w ee x p e c t a n d i n t e n d o u r a u d i e n c e t o r e a l iz ew h o m w e h a v e in m i n d w h e n w e s p e a k o fS m i t h ' s m u r d e r e r a n d , m o s t i m p o r t a n t l y , t ok n o w t h a t i t i s t h i s p e r s o n a b o u t w h o m w ea r e g o i n g t o s a y s o m e t h i n g .

F o r e x a m p l e , s u p p o s e t h a t J o n e s h a s b e e nc h a r g e d w i t h S m i t h ' s m u r d e r a n d h a s b e e np l a c e d o n t r ia l . I m a g i n e t h a t t h e r e i s a d i s -c u s s i o n o f J o n e s ' s o d d b e h a v i o r a t h i s t r i a l .W e m i g h t s u m u p o u r i m p r e s s i o n o f h i s b e -h a v i o r b y s a y i n g , " S m i t h ' s m u r d e r e r i s i n -s a n e " . I f s o m e o n e a s k s t o w h o m w e a r e r e f -e r r i n g , b y u s i n g t h i s d e s c r i p t i o n , t h e a n s w e rh e r e i s " J o n e s " . T h i s , I s h a l l s a y , i s a r e f e r -e n t i a l u s e o f t h e d e f i n i t e d e s c r i p t i o n .

T h e d i s t i n c t i o n i s b r o u g h t o u t n i c e l y b y t h e f o l l o w -i n g p a i r o f s e n t e n c e s f r o m M o o r e [ 1 7 ] a n d t h e i r c o r r e -s p o n d i n g s e m a n t i c n e t r e p r e s e n t a t i o n s ( F i g u r e s 4 a n d5 ) .

(1 l a ) T h e P r e s i d e n t h a s b e e n m a r r i e ds i n c e 1 9 4 5 . referent ial

( l l b ) T h e P r e s i d e n t h a s l iv e d i n t h eW h i t e H o u s e s i n c e 1 8 0 0 . at tr ibut ive

S e n t e n c e ( l l a ) r e f e rs t o th e p e r s o n w h o i s c u r r e n t lyP r e s i d e n t , w h i l e s e n t e n c e ( 1 l b ) r e f e r s to w h o e v e r w a sp r e s i d e n t a t e a c h p o i n t in t i m e si n c e 1 8 0 0 . T h e t r u t ho f ( l l b ) i s n o t d e p e n d e n t o n w h o i s f il li n g t h e r o l e o fP r e s i d e n t . I n f a c t , w e c a n g o e v e n f a r th e r . I n t h ep a s t t h e P r e s i d e n t h a s b e e n k i l l e d a n d i t h a s t a k e n aw h i l e t o s w e a r i n t h e n e w P r e s i d e n t . D u r i n g t h i s t i m et h e r e is n o P r e s i d e n t , y e t ( l l b ) i s s ti ll t r u e . I n ( l l a ) ,b y c o n t r a s t, t h e r e f e r e n t o f " t h e P r e s i d e n t " , p r e s i d e n t -1 , i s n o t a r o l e i n " t h e P r e s i d e n t i s m a r r i e d " , a s s h o w ni n F i g u r e 4 . T h e r e f o r e , w e a r e n o t a t l i b e r t y t o h a v et h e r e f e r e n t c h a n g e w i t h t i m e . 6

T h e r e f e r e n t i a l / a t t r i b u t i v e d i s t in c t i o n m i g h t h a v eb e e n a s c r i b e d t o d i f f e r e n c e s o f s c o p e i n q u a n t i f i e de x p r e s s i o n s .

( 1 2 a ) ( t h e p : p r e s i d e n t ) ( t s i n c e 1 9 4 5 ) p h a sb e e n m a r r i e d a t t i m e t . referent ial

( 1 2 b ) ( V t a f t e r 1 8 0 0 ) ( t h e p : p r e s i d e n t ) p h a sl i v e d i n t h e w h i t e h o u s e a t t i m e t . at tr ibut ive

( 1 3 a ) ( ( ~ ( p ) ( t r u e - a t - ti m e ( m a r r i e d p )( e v e r y ( t ) ( a f t e r t 1 9 4 5 ) ) ) )

( t h e ( y ) ( p r e s y ) ) ) referent ial( 1 3 b ) ( t r u e - a t - t i m e ( l i v e- i n ( t h e ( y )

( p r e s y ) ) w h i t e - h o u s e )( e v e r y ( t ) ( a f t e r t 1 8 0 0 ) ) ) at tr ibut ive

6 A metho d for the sequential binding of quantif ied variablesin determining the truth of a n expression was introduced by Hintik-ka [11]. Although he was working with predicate calculus, heobviously had in mind the same general strategy proposed here.

A m e r i c a n J o u r n a l o f C o m p u t a t i o n a l L i n g u is t ic s , Volume 7 , Number 3 , Ju ly -Septem ber 1981 141


6/12

W i l l i a m A . M a r t i n R o l e s , C o - D e s c r i p t o r s , a n d t h e F o r m a l R e p r e s e n t a t i o n o f Q u a n t i f i e d E n g l i s h E x p r e s s i o

p r e s i d e n t - 1

t h e - p r e s i d e n t - 1

7 \ r e a l - w o r l d

\ \ d i s c o u r s e - 1

t h e - p r e s i d e n t . h a s - b e e n -m a r r i e d - s i n c e - 1 9 4 5 - 1

/ 0 \ t h e - p r e s i d e n t -i s - m a r r ie d - 1/ \

/ \~ s u b j e c t - o f - ' i s - m a r r i e d - l '

Figure 4 . Re fe ren t i a l u se o f the president.

0~ real-world\ \ \ \

d i s c o u r s e - 1

t h e - p r e s i d e n t - h a s - b e e n .m a r r i e d - s i n c e - 1 9 4 5 - 1

t h e - p r e s i d e n t - 1

/ 0 \ t h e - p r e s i d e n t -i s - m a r r i e d - 1/ \/ \/ \/ \11~::::. ~ s u b j e c t - o f - ' i s - m a r r i e d - l '

Figure 5 . A t t r i b u t i v e u se o f the president.

M y r e p r e s e n t a t i o n , i n c o n t r a s t , m a k e s i t e a s y f o r th ei n t e r p r e t e r t o d e l a y th e d e c i s i o n b e c a u s e i t m i n i m i z e st h e d i f f e r e n c e b e t w e e n t h e t w o c a s e s . I t i s a l s o p o s s i -b l e f o r t h e i n t e r p r e t e r n e v e r t o d e c i d e w h i c h r e a d i n g i si n t e n d e d . F o r e x a m p l e , i n a s e n t e n c e s u c h as , " T h ep r e s i d e n t h a s o w n e d a t e r r ie r s in c e F e b r u a r y , " t h el i s t e n e r w il l n o t b e a b l e t o d i s t i n g u i s h b e t w e e n t h e t w or e a d i n g s . I f a l a t e r s e n t e n c e r e q u i r e s t h e l is t e n e r tom a k e a d i s ti n c t i o n , o n l y a m i n i m a l a l t e r a t i o n t o th er e p r e s e n t a t i o n i s r e q u i r e d . P a r t e e [ 1 9 ] m a k e s a n a r g u -m e n t t h a t f u r t h e r s u p p o r t s t h i s a p p r o a c h .

( 1 4 ) . . . h a v i n g a p a r t i c u l a r i n d i v i d u a l i n m i n d( t h e " r e f e r e n t i a l " c a s e ) a n d k n o w i n g n o t h i n ga b o u t a n i n d i v i d u a l o t h e r t h a n s o m e d e s c r i p -t iv e p h r a s e ( t h e " a t t r i b u t i v e " c a s e ) m a y b e

j u s t t w o e x t r e m e s o n a c o n t i n u u m o f" v i v i d n e s s " . O n e m a y c o n s id e r , f o r i n s ta n c e ,t h e c a s e o f a d e t e c t i v e t r a c k i n g d o w n a c r i m -i n a l a n d o b t a i n i n g m o r e a n d m o r e c l u e s , i n -c l u d i n g f in g e r p r i n t s , v o i c e r e c o r d i n g s , p h o t o -g r a p h s o f v a r y i n g c l a r i t y , e t c . I t i s n o t a t a l lc l e a r a t w h a t p o i n t t h e d e t e c t i v e , w h o m a yb e d e s c r i b e d a s " l o o k i n g f o r th e m a n w h od i d s o - a n d - s o " s t o p s l o o k i n g f o r " w h o e v e r iti s t h a t d i d s o - a n d - s o " a n d s t a r t s l o o k i n g f o ra p a r t i c u l a r i n d i v i d u a l .

3 . 2 S u b j e c t C o - D e s c r i p t o r s ( V e r b P h r a s e D e l e t i o n )B o t h F i g u r e s 4 a n d 5 e m p l o y c o - d e s c r i p t i o n b

t w e e n t he -Pres ident a n d s ub j e c t - o f - x , w h e r e x i s ts e n t e n ti a l p r e d i c a te . S e n t e n c e s ( 1 5 a ) a n d ( 1 5 b ) f rS a g [ 2 3 ] o f f e r f u r t h e r s u p p o r t f o r t h i s c o n v e n t i o n .

( 1 5 a ) T h e c h i c k e n s a r e r e a d y t o e a t , a n d t h ec h i l d r e n a r e t o o .

( 1 5 b ) J o h n l i k e s fl y i n g p la n e s , a n d B i ll d o e s t o o .I n t h e s e e x a m p l e s , t h e s u b j e c t p l a y s t h e s a m e r o l e b o t h c o n j u n c t s . T h a t is , i f t h e c h i c k e n s a r e r e a d y b e e a t e n , t h e n t h e c h i l d r e n a r e a l s o r e a d y t o b e e a t ea n d i f t h e c h i c k e n s a r e r e a d y t o d o t h e e a t i n g , t h e n c h i ld r e n a re re a d y t o d o th e e at i ng . H o w e v e r , ( 1 5c a n n o t m e a n t h a t t h e c h i c k e n s a r e r e a d y t o b e e a ta n d t h e c h i l d r e n a r e r e a d y t o d o th e e a t in g . S e n t e n( 1 5 b ) i ll u s t r a t e s t h e s a m e p o i n t . I t i s a m b i g u ow h e t h e r J o h n l ik e s t o f l y p l a n e s h i m s e l f o r w h e t h e r w o u l d p r e f e r s o m e o n e e l s e d o t h e f l y i n g , b u t w h i c h ee r w a y h e l i k e s t h e f l y i n g d o n e , B i l l w i l l w a n t i t d ot h e s a m e w a y .

T h e f o l l o w i n g s e n t e n c e f r o m P a r t e e [ 2 0 ] h a s s a m e s o r t o f a m b i g u i t y a s (1 5 a ) a n d ( 1 5 b ) a b o v ew i l l u s e i t t o i l l u s t r a t e h o w s u c h a m b i g u i t i e s a r e d ew i t h i n m y s c h e m e o f r e p r e s e n t a t i o n .

( 1 6 ) T h e p r o s e c u t o r b e l i e v e d t h a t h e w o u l dw i n t h e c a s e , a n d s o d i d t h e d e f e n s ea t t o r n e y .

T h e m i s s in g v e r b p h r a s e c a n b e u n d e r s t o o d i n tw a y s , e i t h e r t h a t t h e d e f e n s e a t t o r n e y w o u l d w i n t h a t th e p r o s e c u t o r w o u l d w i n . T h i s c a n b e e x p l a i ni n t e r m s o f m y r e p r e s e n t a t i o n , a s s h o w n i n ( 1 7 a ) a( 1 7 b ) b e l o w . N o t e t h a t h e - 1 i s c o - d e s c r i p t i v e w i t h s u b j e c t r o le in ( 1 7 a ) a n d w i t h t h e - p r o s e c u t o r - 1 ( 1 7 b ) . T h u s ( 1 7 a ) r e p r e s e n t s t h e s l o p p y a t t r ib u ti n t e r p r e t a t i o n w h e r e h e - 1 r e f e r s t o w h a t e v e r t h e s uj e c t h a p p e n s t o b e , w h e r e a s ( 1 7 b ) r e p r e s e n t s t h e n os l o p p y r e f e re n t i a l i n t e rp r e t a t i o n w h e r e h e ~ l r e f e r s t h e - p r o s e c u t o r - 1 i n b o t h c o n j u n c t s .

1 4 2 A m e r i c a n J o u r n a l o f C o m p u t a t i o n a l L i n g u i s t i c s , V o l u m e 7 , N u m b e r 3 , J u l y - S e p t e m b e r 1 9


7/12

Wi l l i a m A . Ma r t in Role s , Co-D e s c r ip tors , a nd the Forma l Re pre s e nta t ion o f Qua n t i f i e d Engl is h Ex pre s s ions

( 1 7 a ) b \ discourse- 1 s l o p p y/ %/ \

prosecutoy-~ \ the-prosecutor-believed-t ~ that-he-would.win-1I

/ Ithe-pro cutor-1 t_ ~ ~ subject-of- ' the-prosecutor .J bel ieved-that-he-would.win' -1

I I he-1( 1 7 b )

/prosecutoy-~

t h e - p r o l c u t o r - 1

~ / h e - 1

t x discou rse-1 nonsloppy\

\ t h e - p r o s e c u t o r - b e l i e v e d -~ t h a t - h e - w o u l d - w i n . 1/ I/ I

/ I/~ ~ s u b j e c t - o f- 't h e - p r o s e c u t o r ./ be l ieved-that-he-would-win' -1/

3 . 3 R e s t r i c t i v e a n d N o n - R e s t r i c t i v e M o d i f i e r sA n o t h e r o p p o s i t i o n w h i c h c a n b e c a p t u r e d w i t h t h e

a t t r i b u t iv e / r e f e r e n t i a l d i s t i n c t io n i s th a t b e t w e e n r e -s t r i c t iv e a n d n o n - r e s t r i c t i v e m o d i f i e r s .

( 1 8 a ) M y u n c l e , w h o i s 7 0 , i s b a l d . n o n - r e s t r i c t i v e( 1 8 b ) M y u n c l e w h o , i s 7 0 i s b a l d . r e s t r i c t i v e

S e n t e n c e ( 1 8 a ) h a s a n o n - r e s t r i c t i v e r e l a t iv e c l a u s e ," w h o i s 7 0 " , m o d i f y i n g , " m y u n c l e " . T h a t is , " w h o i s7 0 " i s n o t u s e d t o p i c k o u t t h e u n c l e w h o i s b a l d , b u tj u s t t o g i v e e x t r a i n f o r m a t i o n a b o u t h im . T h i s s e n -t e n c e i s e q u i v a l e n t t o t h e c o n j u n c t i o n , " M y u n c l e isb a l d & m y u n c l e i s 7 0 . " B y c o n t r a s t , i n t h e r e st r ic t i v er e a d i n g ( 1 8 b ) , " w h o i s 7 0 " p i c k s o u t a p a r ti c u la r u n -c l e. T h e d is t i n c ti o n b e t w e e n ( 1 8 a ) a n d (1 8 b ) c a n b ec a p t u r e d a s f o l l o w s .( 1 9 a ) n o n - r e s t r i c t i v e

/ I lK discourse-1/ t I % .~

I I I ~/ i my-uncle-

m y - u n c l e - 1 s u b j e c t - o fm y - u n c l e -is-bald-1

" Q , , 'who-is-70 ' -1II % %

who-1 s u b j e c t - o f -' w h o - i s - 7 0 ' - 1

( 1 9 b ) . . ~ discourse.1 r e s t r i c t i v e/ I1t I

/ It Iuncle-1 /

my-uncle-who-is-70-1

my-uncle-1

//

JS'/

my-uncle-J ~ is-bald-1IIi s u b j e c t - o fmy-uncle-i s . b a ld -1

%, .Q who-is-70-1

//J/

t

who-1 subjec t -of -'who-is-70'-1N o t e t h a t t h e h e a d o f t h e r e l a t iv e c l a u s e m u s t b ee i t h e r a t t r i b u t i v e o r r e f e r e n t i a l f o r b o t h m a i n a n d r e l a -t i v e c l a u s e s . I t i s n o t p o s s i b l e t o h a v e ( 2 0 ) , f o r e x a m -p l e . T h i s a r g u e s t h a t t h e r e l a t i v e p r o n o u n " w h o "s h o u l d b e t r e a t e d a s a c o - d e s c r i p t o r o f a s e n t e n c e r o l eo f t h e m a i n c l a u s e , n o t a d i s c o u r s e r o l e .

( 2 0 ) * T h e P r e s id e n t , w h o h a s b e e n m a r r ie ds i n c e 1 9 4 5 , h a s li v e d in t h e W h i t e H o u s es i n c e 1 8 0 0 .

4 . D i s c o u r s e I t e r a t i o nW e h a v e s e e n t h a t e x p l i c i t n e s t i n g o f s t ru c t u r a l

d e s c r i p t i o n s c a n e x p l a i n t h e r e f e r e n t i a l / a t t r i b u t i v ed i s t i n c t i o n , s l o p p y b i n d i n g , a n d r e s t r i c t i v e / d e s c r i p t i v er e l a ti v e c l a u s es . T h i s s e c t i o n w i l l s h o w t h a t q u a n t i f i e ri n t e r p r e t a t i o n c a n a l s o b e e x p l a i n e d i n a s i m i l a r m a n -n e r . C o n s i d e r s e n t e n c e ( 2 1 ) , w h i c h is t h r ee w a y sa m b i g u ou s , a s s h o w n i n ( 2 2 a ) - ( 2 2 c ) .

( 2 1 ) E v e r y b o y w a n t s a li o n .

( 2 2 a ) T h e y w i l l t a k e a n y l i o n .O \ iscoursed

\\

\\ every-boy-wants-

a-tion-11II1 a - l i o n - 1

A m e r i c a n J o u r n a l o f C o m p u t a t i o n a l L i n g u is t ic s , V o l u m e 7 , N u m b e r 3 , J u l y - S e p t e m b e r 1 98 1 1 4 3


8/12

W i l l i a m A . M a r t i n R o l e s , C o - D e s c r i p t o r s , a n d t h e F o r m a l R e p r e s e n t a t i o n o f Q u a n t i f i e d E n g l i sh E x p r e s s i o n s

(22b)

i t e r a t i o n - 1

l i on -1

/

IIII

Ea ch wa n t s h i s o wn sp ec i f i c l i o n ./O \ discourse-1

\N

\N

a - l i on . 1

e v e r y - b o y - w a n t s -I~ a-lion-1tIII object-of-

every-boy-wants-a - l i on -1

(22c)

//l ion -1 ~

T h ey a l l wa n t t h e sa me sp ec i f i c l i o n .~ \ d i s c o u r s e - 1

// \

/ X\ e v e r y - b o y - w a n t s -/ I I

/ ~ a - t ion-1/ I/ I

Ii ob jec t -o f -a - l i o n - 1 e v e r y - b o y - w a n t s -

a . l i on -1The three readings (22a)-(22c) can be interpreted asfollows. In each case, want-a-lion must be true foreach boy. In (22a), a-lion-1 is attributive: it can bepicked as needed for each wanting. In (22b), a-lion-1is referential, but it refers to a role in an iteration ofwanti ng at the discourse level. (No t surprisingly, giv-en my account, this is a difficult reading for people toconstruct.) Finally, (22c) gives the by-now- famil iarreferential case where every boy is constrained towanti ng the same lion. 7 Let us now turn to a disc us-sion of the discourse iteration construct used in (22b).

(23a) ( FOR E VE RY X / C LASS : (P X) ; (Q X))Every X in CLASS that satisfies Palso satisfies Q.

(23b) (F OR SOM E X / CLAS S : (P X) ; (Q X))Some X in CLASS that satisfies Palso satisfies Q.

(23c) (F OR GE N X / C LASS : (P X) ; (Q X))A generic X in CLASS that satisfies Palso satisfies Q.

(23d) (F OR THE X / CLAS S : (P X) ; (Q X))The single X in CLASS that satisfies Palso satisfies Q.

The FOR statement applies the filter P(x) in turn toeach element in the CLASS, and then applies Q(x) tothose elements that pass the filter. The key wordsEVERY, SOME, GEN, THE, and so on, specify aparticular enumeration function.

I prefer to represent quantified phrases in terms ofrole-in links (interpretable as Skolem dependencies)rather than iteration procedures, and to use predicateson intensions and sets in addition to predicates onindividuals. By convert ing Woods' F OR construct tomy notation, the difference between the two referen-tial readings of "every boy wants a lion" can bespelled out in more detail as shown in (24a) and (24b)below. (Note that (24a) is a slight elab orat ion of(22b), and that (24b) is identical to (22c)). (24a)captures both the EVE RY and GENeric options. Inboth cases, lions are individuated by the boys whowant them. The individuating is repres ented by therole-in l ink (Skolem modification) from lion-1 towant-boy-l ion- 1.(24a) Every b o y wa n t s h i s o wn l i o n .

4 .1 P r o c e d u r a l R e p r e s e n t a t i o n o f K n o w l e d g eBy p r o c e d u r a l r e p r e s e n t a t i o n o f k n o w l e d g e , I mean

knowledge in the form of procedures. For example,the knowledge that every boy wants a lion could becast in the form "if one were to check every boy inquestion and count those who want lions, then thecount of those who want lions would be equal to thecount of the boys checked". Woods [30] introduced aF O R iteration construct for representing knowledge ofquantified propositions procedurally. 8 Examples of theuse of this construct are:

7 Partee [19] points out that this type of sentence and thoseof the previous section pose a problem for the analysis of the indef-inite article in terms of the features +specific [7] . Something moreis needed to produce all the readings. Features can be used asfollows: if a hearer has decided a node is definitely attributive itcan be marked +attributive, if it is referential the co-descriptor isshown. Otherwise, it is unmarked and has no co-descriptor.

/F O R - E V E R Y - B O Y / //B O Y S : T ; /gW A N T - B O Y - L I O N - 1 \ \ II b o y/

// w a n t . b o y - l i o n - 1

IIII

lion-1 v-...~ a-lion-1

/ 0 \ d i s c o u r s e - 1\

\

\ e v e r y . b o y - w a n t s -a - l io n - 1

o b j e c t - o f -e v e r y - b o y - w a n t s -a - l i on -1

8 Readers familiar with iteration macros and programminglanguages will see that Woods' FOR is quite limited, e.g. iteration islimited to a single variable. I use it here because it is simple, is wellexplained by Woods, and will facilitate comparison of my sugges-tions with Woods' earlier work.1 4 4 A m e r i c a n J o u r n a l o f C o m p u t a t i o n a l L i n gu i s ti c s, V o l u m e 7 , N u m b e r 3 , J u l y - S e p t e m b e r 1 98 1


9/12

W i l l ia m A . M a r t i n R o l e s , C o - D e s c r i p t o r s , a n d t h e F o r m a l R e p r e s e n t a t i o n o f Q u a n t i f i e d E n g l i s h E x p r e s s i o n s

( 2 4 b ) Every b o y wa n t s t h e sa me sp ec i f i c l i o n .~ \ d i s c o u rs e - 1

/ XI N

I %/

/I

I

\ every-boy-wants-@t a- l ion -1II I

/ I/ i ob jec t -o f -l i on -1 ~ ~a . l i on - 1 eve ry -boy -wa n t s -a - l ion -1

I n c o n t r a s t t o ( 2 4 a ) , ( 2 4 b ) c o n t a i n s n o i t e r a t i o n a t a ll .I n t h i s c a s e , a ll t h e b o y s w a n t t h e s a m e li o n . S i n c el i o n s a r e n o t i n d i v i d u a t e d w i t h r e s p e c t t o b o y s , t h e r e i sn o m o t i v a t i o n t o i n t r o d u c e a n i t e r a t i o n ( o r S k o l e md e P e n d e n c y ) . O n th i s r e a d in g , " e v e r y b o y w a n t s al i o n " c a n b e c o n c e p t u a l i z e d j u s t li k e " a b o y w a n t s al i o n " .

4 . 2 C o l l e c t i v e s , D i s t r i b u t i v e s , a n d P l u r a l i t i e sI n a p p l y i n g p r e d i c a t e s t o p l u r a l i t i e s , w e m u s t b ec a r e f u l n o t t o c o n f u s e a p r e d i c a t e o n a p l u r a l i t y w i t h ap r e d i c a t e o n a c o l l e c t i v e . I f a p r o c e s s , l ik e w a n t i n g , isd o n e b y a p l u r a l i t y , t h e n a p l u r a l i t y o f w a n t i n g s o c -c u r s . T h i s c o n t r a s t s w i t h a c o l l e c t i v e , w h i c h a c t s a s as i n gl e u n i t. F a u c o n n i e r [ 5 ] d e m o n s t r a t e s t h is d i s t in c -t i o n w i t h ( 2 5 ) .( 2 5 a ) T h e m e n { g a t h e r e d , u n i t e d , q u a r r e l e d } , col lect ive( 2 5 b ) T h e m e n t o o k o f f t h e i r h a t s . d i s t r i b u t i ve( 2 5 c ) T h e m e n c a r r i e d t h e c o u c h , p l u r a l i t yA s a f u r t h e r e x a m p l e , o b s e r v e t h a t i n

( 2 6 ) E v e r y b o d y g a v e $ 1 0 0 0 t o m a n y o f t h e m e n .w e m u s t d e c i d e w h e t h e r t h e m e n r e c e i v i n g m o n e yr e c e i v e $ 1 0 0 0 a p i e c e o r j u s t p a r t i c i p a t e i n a g r o u pr e c e i v in g $ 1 0 0 0 . W e m u s t a l so d e c i d e w h e t h e r" e v e r y b o d y " a c t e d i n d i v i d u a ll y o r c o l l e c ti v e l y . N o t et h a t o n e c a n n o t p e r s o n a l l y r e c e i v e $ 1 0 0 0 i f $ 1 0 0 0 i sg i v e n t o a g r o u p h e i s i n , b u t o n e c a n b e p e r s o n a l l yt o l d t h e n e w s i f t h e n e w s i s t o l d t o a g r o u p h e i s i n .F r o m t h i s w e s e e t h a t t h e d i s t r i b u t i v e r e a d i n g m a y o rm a y n o t r e q u i r e a s e p a r a t e i n s t a n c e o f s o m e s t a t e o rp r o c e s s f o r e a c h i n d i v i d u a l .

A p l u r a l n o u n g r o u p m a y b e u n d e r s t o o d i n a n y o ft h e th r e e w a y s . V e n d l e r [ 2 7 ] g i v e s e x a m p l e s i n t e n d e dt o s h o w t h a t t h e c h o i c e b e t w e e n " e a c h " a n d " e v e r y "i n f l u e n c e s o u r p r e f e r e n c e s .

( 2 7 ) S u p p o s e I s h o w y o u a b a s k e t o f a p p l e s a n d It e ll y o u , " T a k e a l l o f t h e m " . I f y o u s t a r t e dt o p i ck t h e m o n e b y o n e I s ho u l d b e s u r -p r i se d . M y o f f e r w a s s w e e p i n g : y o u s h o u l dt a k e t h e a p p l e s , i f p o s s i b l e , " e n b l o c " . H a d Is a id , " T a k e e v e r y o n e o f t h e m , " I s h o u l d n o tc a r e h o w y o u t o o k t h e m , p r o v i d e d y o u d on o t leave a n y b e h i n d . I f I s a y , " T a k e e a c h o f

t h e m , " o n e f e e l s t h a t t h e s e n t e n c e i s u n f i n -i s h e d . S o m e t h i n g li k e, " T a k e e a c h o f t h e ma n d e x a m i n e t h e m i n t u r n , " i s e x p e c t e d .T h u s I e x p e c t y o u t o t a k e t h e m o n e a f t e r t h eo t h e r n o t m i s s i n g a n y .

" A l l " f a v o r s c o l l e c t i v e i n t e r p r e t a t i o n , b u t p e r m i t s d i s -t r i b u ti v e i n t e r p r e t a t i o n . " E v e r y " fa v o r s d i s t r ib u t i v ei n t e r p r e t a t i o n . " E a c h " s t ro n g l y f a v o r s d i s t r ib u t i v ei n t e r p r e t a t i o n a n d f a v o r s d i s t i n c t a c t i o n s f o r e a c h i n d i -v i d u a l .4 . 3 M u l t i p l e I t e r a t i o n s

T h e p r e v i o u s s e c t i o n s s u g g e s t e d t h a t a n i t e r a t i o nn e e d b e c o n s t r U c t e d o n l y w h e n t w o d e s c r i p t i o n s i n t h es e n t e n c e a r e r e l a t e d i n a s p e c i a l w a y , e . g . , w h e r e o n ei s i n d i v i d u a t e d b y th e o th e r . O t h e r w i s e , p r e d i c a t e s o nc o l l e c t i v e s o r p l u r a l i t i e s p r o v i d e a n a d e q u a t e d e s c r i p -t i o n . I n t h i s w a y , I a v o i d i t e r a t i o n , w h i c h "is r e l a t i v e l ye x p e n s i v e f r o m a c o m p u t a t i o n a l p e r s p e c ti v e . T h e r ea r e o t h e r w a y s t o e l i m i n a t e it e r a t io n s . F o r e x a m p l e ,t h e a p p a r e n t d o u b l e i t e r at i o n i n s e n t e n c e ( 2 8 a ) c a n b er e d u c e d t o a s i n g le i t e r a ti o n . F o r m u l a ( 2 8 b ) r e p r e -s e n t s t h e n a t u r a l r e a d i n g w h e r e e a c h c o r k i s a s s o c i a t e dw i t h o n e b o t t l e . I t m i g h t a p p e a r t h a t it r e q u i r e s t w on e s t e d F O R l o o p s a s i n ( 2 8 c ) , b u t i n f a c t , i t c a n b ei m p l e m e n t e d w i t h a s i n g l e l o o p ( 2 8 d ) .

( 2 8 a ) E a c h c o r k is f a s t e n e d t o e a c h b o t t l e b y as m a l l w i r e b a s k e t .

( 2 8 b ) ( x ) ( V y ) i f x is a c o r k & y is a b o t t l e& x is t h e c o r k i n b o t t l e y

t h e n x i s f a s t e n e d t o y b y a s m a l lw i r e b a s k e t .

( 2 8 c ) F o r a l l x i n c o r k s d o two n es t ed l o o p sF o r a l l y i n b o t t l e s

i f x i s t h e c o r k i n b o t t l e y t h e nx i s f a s t e n e d t o y b y a s m a l l w i r e b a s k e t .

( 2 8 d ) F o r a l l y i n b o t t l e s d o s in g l e l o o pl e t x = t h e c o r k i n b o t t l e y

x i s f a s t e n e d t o y b y a s m a l l w i r e b a s k e t .M o s t p e o p l e u n d e r s t a n d t hi s s e n t e n c e b y i t er a t in g o v e rb o t t l e s a n d i n d i v id u a t i n g t h e c o r k s b y th e b o t t le s . T h es i n g l e l o o p i m p l e m e n t a t i o n c a n b e d e r i v e d s t r a i g h t f o r -w a r d l y f ro m m y r e p r e s e n t a t io n . I n s o m e o t h e r r e p r e -s e n t a t i o n , i t m a y r e q u i r e a v e r y c l e v e r c o m p i l e r o p t i m i -z a t i o n , s u c h a s " l o o p j a m m i n g " .

S e n t e n c e s ( 2 9 a ) a n d ( 2 9 b ) a r e s i m i l a r t o ( 2 8 a ) i nt h i s r e s p e c t .

( 2 9 a ) A l l t h e b o y s k i s s e d a l l t h e g i r l s .( 2 9 b ) E a c h m a n a n d e a c h w o m a n w i ll b e jo i n e d

i n m a r r i a g e h e r e t o n i g h t .T h e s e s e n t e n c e s p r o v i d e e v i d e n c e t h a t a q u a n t i f i e r l i k e" e a c h " d o e s n ' t n e c e s s a r i ly se t u p a n i t e r a t io n . I t u s u -a l ly d o e s , a n d t h e r e f o r e t h e s e s e n t e n c e s a r e a b i t o d d .B u t t h e s e s e n t e n c e s a r e u n d e r s t o o d w h e n e a c h d i s t r i b -u t e d q u a n t i f i e d e x p r e s s i o n h a s a d i s c o u r s e c o -

A m e r i c a n J o u r n a l o f C o m p u t a t i o n a l L i n g u i s t i c s , V o l u m e 7, N u m b e r 3, J u l y - S e p t e m b e r 1 98 1 1 4 5


10/12

W i l l i a m A . M a r t i n R o l e s , C o - D e s c r i p t o r s , a n d t h e F o r m a l R e p r e s e n t a t i o n o f Q u a n t i f i e d E n g l i sh E x p r e s s i o n s

d e s c r i p t i o n w h i c h participates i n a n i t e r a t i o n . S e t t i n gu p a n i t e r a t i o n in ( 2 9 a ) a n d ( 2 9 b ) e x p r e s s e s t h e sp e -c i fi c d e p e n d e n c e o f b o y s o n g i rl s, a n d o f e a c h m a na n d w o m a n o n e a c h o t h e r .

( 3 4 )

sa i l -boa t motor -boa t4 . 4 H u m a n P r o c e s s i n g o f Q u a n t i f i e d E x p r e s s i o n s

I n t h e p r e v i o u s e x a m p l e w e c o u l d h a v e h a d e a c hm a n m a r r i e d t o e a c h w o m a n ! I n d e e d , i t is n o t a l w a y so b v i o u s h o w a n i t e r a t i o n s h o u l d b e c o n s t r u c t e d .W h e n s o m e o n e h e a r s t h e s t a t e m e n t

( 3 0 ) A r e q u i r e m e n t f o r th e c o u r s e i s t h e c a r v -i n g o f a b l o c k o f w o o d i n t o e a c h o f t h e1 2 d e s i g n s .

h i s r e a s o n i n g m i g h t b e a s f o l lo w s : " W e l l , le t ' s s e e .W e t a k e t h e w o o d a n d c a r v e t h e f i r st d e s i g n . ( H ep u r s u e s t h e d i s t r i b u t i v e r e f e r e n t i a l r e a d i n g w i t h o n eb l o c k . ) O h ! O h ! N o w h o w d o w e c ar v e a s e c o n d d e -s ig n , th e b l o c k i s u s e d u p . W e l l , m a y b e w e c o u l d f itt h e t w e l v e d e s i g n s o n o n e b l o c k , o r w e c o u l d c u t t h eb l o c k i nt o tw e l v e p ie c e s. O r m a y b e I s h o u l d a b a n d o nt h e r e fe r e n t i a l r e a d i n g a n d u se t w e l v e b l o c k s . " T h e r ec a n b e n o d o u b t t h a t w o r l d k n o w l e d g e ( p r a g m a t i c s ) i sr e q u i r e d t o c h o o s e b e t w e e n s u c h r e a d in g s . C o n s i d e rn o w t h e f o l l o w i n g p a i r o f s e n t e n c e s .

( 3 1 a ) E v e r y b o d y a t M I T k n o w s a d i a le c t o f L I S P .( 3 1 b ) E v e r y b o d y a t I J C A I k n o w s a d i a le c t of L I S P .

E v e r y o n e a t a u n i v e r s it y m i g h t c o n c e i v a b l y k n o w t h es a m e s p e c i f i c d i a l e c t , w h i l e e v e r y o n e a t a n i n t e r n a t i o n -a l c o n f e r e n c e m i g h t n o t .

V a n L e h n [ 2 6 ] r e p o r t s t h a t w h e n p e o p l e a r e g i v e na s e n t e n c e l i k e( 3 2 ) A q u i c k t e s t c o n f i r m e d t h a t e v e r y d r u g

w a s p s y c h o a c t i v e .t h e y c l a i m t h e y u n d e r s t a n d i t, b u t a r e t h e n u n a b l e t os t a t e w h e t h e r t h e r e w a s o n e t e s t p e r d r u g o r o n l y o n et e s t f o r al l. T h i s a m b i g u i t y c a n b e e x p r e s s e d i n p r e d i -c a t e c a l c u l u s u s i n g q u a n t i f i e r s .

( 3 3 a ) ( ] te s t ) ( V d r u g ) C ( t e s t , d r u g )( 3 3 b ) ( d r u g ) ( 3 t e s t ) C ( t e s t , d r u g )

B u t i n m y r e p r e s e n t a t i o n , t h e a m b i g u i t y i s r e p r e s e n t e db y t h e p r e s e n c e o r a b s e n c e o f a r o l e - i n l i n k , w h i c hm a k e s it e a s y t o d e l a y d i s a m b i g u a t i o n . T h e r e is n os h u f f l i n g o f q u a n t i f i e r s t o s h i f t b e t w e e n t h e t w o i n t e r -p r e t a t i o n s ; i n s t e a d , d i s a m b i g u a t i o n is a c h i e v e d b y s im -p l y in s e r t i n g a r o l e - i n l in k , w h e n a n d i f a p p r o p r i a t e .4 . 5 A m b i g u i t y a n d G e n e r a l i t y

T h e p r o b l e m w i t h ( 3 2 ) a r i s e s in p a r t b e c a u s e o f t h ed i f f i c u l t y o f d i s t i n g u i s h i n g b e t w e e n a general e x p r e s -s i o n a n d a n ambiguous o n e . F o r e x a m p l e ,

i l lu s t r a t e s t h a t b o t h a sa i l b o a t a n d a m o t o r b o a t c a nb e d e s c r i b e d b y t h e g e n e r a l e x p r e s s i o n b o a t . T h i sc o n t r a s t s w i t h

( 3 5 ) = =pronoun-mine minera l -minew h e r e t h e r e i s n o g e n e r a l i z a t i o n o f t h e pronoun-minea n d mineral-mine s e n s es o f " m i n e " . F i n a ll y ,

( 36 ) A q u i c k t es t con f i rmed? th~ t every d rug

/ / / / / % ' , , , , , , ~ , ~ p s yc h o act ve

fora l l d rugs forsome testfo rsome tes t fo ra l l d rugs

p o i n t s o u t t h a t i t i s u n c e r t a i n w h e t h e r " a q u i c k t e s tc o n f i r m e d t h a t e v e r y d r u g w a s p s y c h o a c t i v e " h a s ag e n e r a l s en s e . T h e g e n e r a l s e n s e o f " b o a t " i s r e s o l v e ds e m a n t i c a ll y - - b y c h o o s i n g b e t w e e n m o r e s p e c if icc o n c e p t s s u c h a s " s a i l b o a t " o r " m o t o r b o a t " . I f ( 3 5 )d o e s h a v e a g e n e r a l s e n s e i t m i g h t b e r e s o l v e d s e m a n -t i c a l l y , b u t i t m i g h t a l s o b e r e s o l v e d p r a g m a t i c a l l y - -b y b i n d i n g t h e c o n c e p t i n t o t h e d i s c o u r s e s t r u c t u r e i nd i f f e r e n t w a y s . P h i l o s o p h e r s h a v e l a rg e l y i g n o r e d t hi si s s u e s i n c e t h e y h a v e b e e n i n t e r e s t e d i n f o r m a l l a n -g u a g e s w h o s e t e r m s ar e l o g ic a ll y u n a m b i g u o u s . V a nL e h n ' s r e s u l t s w o u l d t e n d t o i n d i c a t e t h a t p e o p l e d oh a v e a g e n e r a l s e n s e o f t h i s e x p r e s s i o n .T h e a d v a n t a g e o f t h e r e p r e s e n t a t io n a l s c h e m e p r o -p o s e d h e r e i s t h a t i t a l l o w s t h e r e s o l u t i o n o f a m b i g u i t yb y i n c r e m e n t a l l y a d d i n g t o w h a t i s a lr e a d y p r e s e n t .W e h a v e d i s c u s s e d m a n y r e a s o n s w h y s c o p i n g d e c i-s i o n s s h o u l d b e d e l a y e d , r a n g i n g f r o m c o m p u t a t i o n a le f f i c i e n c y t o V a n L e h n ' s e m p i r i c a l o b s e r v a t i o n s .R o l e - i n l i n k s p r o v i d e a s i m p l e w a y t o a c c o m p l i s h t h i s .5 . C o n c l u s i o n : T h e A s y m m e t r y o f R o l e s

R o l e s in t r o d u c e a v e r y i n t e re s t i n g a s y m m e t r y . I nm y r e p r e s e n t a t i o n , t h e m e a n i n g o f a n o d e d e p e n d s o ni t s roles i n m o r e a g g r e g a t e e n t i t i e s , n o t j u s t o n i t sconstituents. F o r e x a m p l e , I u s e r o l e - i n l i n k s a s S k o -l e m m o d i f i e r s w h e r e o t h e r s h a v e e m p l o y e d q u a n t i f i e rs c o p e . I n t h is w a y , I c a n r e p r e s e n t q u a n t i f i c a t i o n a ld e p e n d e n c i e s a 8 r o l e - i n li n k s t o n o d e s r e p r e s e n t i n gm o r e a g g r e g a t e e n t i ti e s . I h a v e a r g u e d t h a t r o l e s a r e an a t u r a l d e v i c e f o r e x p l a i n i n g m a n y l i n g u is t ic a n d p h i l o -s o p h i c a l d i s t i n c t i o n s , a n d t h e y a r e c o n v e n i e n t f o r c o m -p u t a t i o n a l p r o c e s s i n g .

S e c t i o n 3 s h o w e d h o w r o l e s c a n h e l p r e p r e s e n tr e f e r ri n g e x p r e s si o n s . T h e r e f e r e n t i a l / a t t r i b u t i v e d i s-

1 4 6 A m e r i c a n J o u r n a l o f C o m p u t a t io n a l L i n g ui s ti c s, V o l u m e 7 , N u m b e r 3 , J u l y - S e p t e m b e r 1 98 1


11/12

W i l l i a m A . M a r t i n R o l e s , C o - D e s c r i p t o r s , a n d t h e F o r m a l R e p r e s e n t a t i o n o f Q u a n t i f i e d E n g l i s h E x p r e s s i o n s

t i n c t i o n w a s f o r m u l a t e d i n t e r m s o f r o l e s s o t h a t t h ea t t r i b u t i v e u s e a s s e r t s s o m e t h i n g a s a r o l e i n s u c h - a n d -s u c h w h e r e a s t h e r e f e r e n t i a l u s e a s s e r t s s o m e t h i n g a sb e i n g t h e s u c h - a n d - s u c h w i t h o u t a r o le d e p e n d e n c y . Ic h o o s e t o u s e r o l e s w h e r e o t h e r s ( e . g . M o o r e ) h a v ee m p l o y e d s c o p e d e p e n d e n c i e s , b e c a u s e t h e a m b i g u i t yp e r s i s t s e v e n w h e n t h e s c o p i n g c o n t e x t i s u n a v a i l a b l e ,a s i n " T h e p r e s i d e n t h a s o w n e d a t e r r i e r s i n c e F e b r u -a r y " . I n t h is w a y , I c a n d e l a y t h e b i n d i n g d e c i s i o nb e c a u s e I c a n r e p r e s e n t t h e d e p e n d e n c i e s ( o r l a c kt h e r e o f ) w i t h o u t h y p o t h e s i z i n g a n o u t e r c o n t e x t .

F u r t h e r m o r e , I h a v e a r g u e d t h a t v e r b p h r a s e d e l e-t i o n p r o v i d e s a d d i t i o n a l s u p p o r t f o r t h e c l a i m t h a t r o led e p e n d e n c i e s a r e a s s o c i a t e d w i t h r e f e r e n c e s , n o t w i t hc o n t e x t s . T h a t is , i n a s e n t e n c e l i k e " T h e p r o s e c u t o rb e l i e v e d t h a t h e w o u l d w i n t h e c a s e , a n d s o d id t h ed e f e n s e a t t o r n e y " , t h e r e a r e tw o w a y s to i n t e r p r e t" h e " : a s a c o - d e s c r i p t o r o f th e s u b j e c t o r a s a c o -d e s c r i p t o r o f t h e p r o s e c u t o r . N o t e t h a t w h i c h e v e r w a yi t i s t a k e n i n t h e f i r s t c o n j u n c t , i t w i l l b e t a k e n t h es a m e w a y i n t h e s e c o n d . T h e r e is a n a t u r a l e x p l a n a -t i o n f o r th i s if t h e c o - d e s c r i p t i o n d e p e n d e n c y i s a s s o c i -a t e d w i t h t h e r e f e r e n c e " h e " , w h e r e a s i n a s y s t e mw h e r e t h i s d e p e n d e n c y w a s a s s o c i a t e d w i t h t h e c o n -t e x t , a n a d h o c s t i p u l a t i o n w o u l d b e r e q u i r e d .

S e c t i o n 4 a r g u e d t h a t q u a n t i f i e r d e p e n d e n c i e ss h o u l d b e a s s o c i a t e d w i t h r e f e r e n c e s a s o p p o s e d t oc o n t e x t s. M y a p p r o a c h l e a d s t o a n a t u r a l r e p r e s e n t a -t i o n f o r c o l l e c t i v e s , d i s t r i b u t i v e s , a n d p l u r a l it i e s . B ym i n i m i z i n g t h e d i f f e r e n c e s in th e r e p r e s e n t a t i o n o ft h e s e t h r e e c a s e s , a n i n t e r p r e t e r i s i n a b e t t e r p o s i t i o nt o d e l a y b in d i n g d e c i s i o n s . T h i s is c o n s i s t e n t w i t h V a nL e h n ' s e m p i r i c a l o b s e r v a t i o n s . F u r t h e r m o r e c o l l ec -t i v e s a n d p l u r a l i t i e s c a n b e i n t e r p r e t e d w i t h o u t i t e r a -t i o n , s a v i n g c o n s i d e r a b l e p r o c e s s i n g e f f o r t .R e f e r e n c e s a n d R e l a t e d W o r k

1 . B r a c h m a n , R . J . ( 1 9 7 8 ) " O n t h e E p i s t o m o l o g i c a l S t a t u s o fS e m a n t i c N e t w o r k s " , i n N . V . F i n d l e r ( e d ) A s s o c ia ti ve N e tw o r ks- - T h e Rep r esen ta t io n a n d Us e o f K n o w led g e in C o m p u ter s , A c a -d e m i c P r e s s , N e w Y o r k .

2 . C h o m s k y , N . ( 1 9 8 0 ) " O n B i n d i n g " , Lin g u i s t i c I n q u i r y 11, 1-46.3 . D o n n e l l a n , K . ( 1 9 6 6 ) " R e f e r e n c e a n d D e f i n i t e D e s c r i p t i o n s " ,T h e P h i lo s o p h ica l Rev iew 7 5 , 2 8 1 - 3 0 4 .4 . F a h l m a n , S . E . ( 1 9 7 9 ) N E T L : A S y s t e m f o r R e p re s e n ti n g a n dUs in g Rea l W o r ld K n o w led g e , M I T P r e s s , C a m b r i d g e , M a s s .5 . F a u c o n n i e r , G . ( 1 9 7 5 ) " D o Q u a n t i f i e r s B r a n c h " Lin g u i s t i c

I n q u i r y 6.4 .6 . F a u c o n n i e r , G . ( 1 9 7 8 ) " I s T h e r e a L i n g u i s t i c L e v e l o f L o g i c a lR e p r e s e n t a t i o n ? " Theoret ical Linguis t ics , V o l . 5 , N o . 1 , Wal t e rD e G r u y t e r , B e r l i n .7 . F i l l m o r e , C . J. ( 1 9 6 7 ) " O n t h e S y n t a x o f P r e v e r b s " Glossa 1,9 1 - 1 2 5 .8 . G o l d s t e i n , I. P . a n d R o b e r t s , B . R . ( 1 9 7 7 ) " N U D G E - - AK n o w l e d g e B a s e d S c h e d u l in g P r o g r a m " P r o ceed in g s o f 5 thI J C A I , a v a i l a b le f r o m D e p t . o f C o m p u t e r S c i e n ce , C a r n e g i e -M e l l o n U n i v . , P i t t s b u r g h , P a .

9 . H a y e s , P . J . ( 1 9 7 9 ) " O n S e m a n t i c N e t s , F r a m e s a n d A s s o c i a -t i o n s " , P r o ceed in g s o f 5 th I JC A 1 , a v a i l a b l e f r o m D e p t . o f C o m -p u t e r S c i e n c e , C a r n e g i e - M e l l o n U n i v . , P i t t s b u r g h , P A .1 0 . H e n d r i x , G . ( 1 9 7 8 ) " E n c o d i n g K n o w l e d g e i n P a r t i t i o n e d N e t -w o r k s " , N . V . F i n d l e r ( e d ) A s s o c ia t i ve N e tw o r ks - - T h e Rep r e -

s en ta t io n a n d Us e o f K n o w led g e in C o m p u ter s , A c a d e m i c P r e s s ,N e w Y o r k .1 1 . H i n t i k k a , K . J . J . ( 1 9 7 6 ) " Q u a n t i f i e r s i n L o g i c a n d Q u a n t i f i e r s inN a t u r a l L a n g u a g e s " , i n S . K o r n e r ( e d ) P h i l o s o p h y o f L o g i c ,

O x f o r d : B a s i l B l a c k w e l l , 2 0 8 - 2 3 2 .1 2 . J a c k e n d o f f ( 1 9 7 2 ) S em a n t i c I n t e r p r e ta t io n in Gen er a t i veG r a m m a r , M I T P r e s s , C a m b r i d g e , M a s s .

1 3 . M a t h l a b G r o u p ( 1 9 7 7 ) " M a c s y m a R e f e r e n c e M a n u a l " , L a b o r a -t o r y f o r C o m p u t e r S c i e n c e , M I T .1 4 . M a r t i n , W . A . ( 1 9 7 9 ) " D e s c r i p t i o n s a n d t h e S p e c i a l i z a t io n o fC o n c e p t s " i n P . W i n s t o n ( e d ) A r t i f i c i a l I n te l l ig e n c e , A n M I T

Perspective, M I T P r e s s , C a m b r i d g e , M a s s .1 5 . M a r t i n , W . A . ( 1 9 7 9 ) " R o l e s , C o - d e s c r i p t o r s , a n d t h e F o r m a lR e p r e s e n t a t i o n o f Q u a n t i f i e d E n g l i s h E x p r e s s i o n s " ,M I T / L C S / T M - 1 39 .1 6 . M i n s k y , M . ( 1 9 7 5 ) " A F r a m e w o r k f o r R e p r e s e n t i n g K n o w l -

e d g e " i n T h e P s ych o lo g y o f C o m p u ter V i s io n , P . H . W i n s t o n , e d .M c G r a w - H i l l , N e w Y o r k .1 7 . M o o r e , R .C . ( 1 9 7 3 ) " D - S C R I P T : A C o m p u t a t i o n a l T h e o r y o fD e s c r i p t i o n s " A d v a n c e P a p e rs o f t h e 3 r d I J C A I , 2 2 3 - 2 2 9 .1 8 . M o o r e , R . C . ( 1 9 7 9 ) " R e a s o n i n g A b o u t K n o w l e d g e a n d A c t i o n "M I T C o m p u t e r S c i e n c e P h D t h e s is .1 9 . P a r t e e , B .H . ( 1 9 7 2 ) " O p a c i t y , C o - R e f e r e n c e , a n d P r o n o u n s " i n

S e m a n t i c s o f N a t u r a l L a n g u a g e , D a v i d s o n a n d H a r m o n ( e d s ) D .R e i d e l P u b . C o . D o r d r e c h t - H o l l a n d .2 0 . P a r t e e , B .H . ( 1 9 7 8 ) " B o u n d V a r i a b l es a n d O t h e r A n a p h o r s " i n

P r o ceed in g s o f T h eo r e t i ca l I s s u es in N a tu r a l La n g u a g e P r o ces s in g- - 2 , av a i l a b le fr o m A C M .2 1 . Q u i n e , W . V . O . ( 1 9 6 0 ) W o r d a n d O b j ec t , M I T P r e s s , C a m b r i d g e ,M a s s .2 2 . R u s s e l l, B . ( 1 9 0 5 ) " O n D e n o t i n g " i n H . F e i g l a n d W . S e l l ar s( e d s ) Rea d in g s in P h i lo s o p h ica l A n a lys i s , 8 5 - 1 0 2 , A p p l e t o n -C e n t u r y - C r o f t s , I n c . , N e w Y o r k , 1 9 4 9 .2 3 . S a g , I . ( 1 9 7 6 ) " D e l e t i o n a n d L o g i c a l F o r m " M I T L i n g u i s t i c sP h D T h e s i s , a v a i l a b l e t h r o u g h I n d i a n a U n i v e r s i t y L i n g u i s t i c sC l u b .2 4 . S i d n e r , C . ( 1 9 7 9 ) " T o w a r d s a C o m p u t a t i o n a l T h e o r y o f D e f i -n i t e A n a p h o r a C o m p r e h e n s i o n i n E n g l i s h D i s c o u r s e " , M I T - A I -T R 5 3 7 , M I T C o m p u t e r S c i e n c e P h D T h e s i s .2 5 . S t r a w s o n , P . F . ( 1 9 5 9 ) I n d iv id u a l s : A n Es s a y in Des cr ip t i ve

M eta p h ys ic s , A n c h o r B o o k s E d i t i o n , ( 1 9 6 3 ) .2 6 . V a n L e h n , K . A . ( 1 9 7 8 ) " D e t e r m i n i n g t h e S c o p e o f E n g l i shQ u a n t i f i e r s " M I T A r t i fi c i a l I n t e l l ig e n c e L a b o r a t o r y R e p o r tA I - T R - 4 8 3 .2 7 . V e n d l e r , Z . ( 1 9 6 7 ) Lin g u i s t i c s in P h i lo s o p h y , C o r n e l l U n i v e r s i t yP r e s s , I t h a c a , N e w Y o r k .2 8 . W e b b e r , B . L . ( 1 9 7 8 ) " A F o r m a l A p p r o a c h t o D i sc o u r s e A n a -

p h o r a " , B o l t B e r a n e k a n d N e w m a n R e p o r t 3 7 6 1 .2 9 . W o o d s , W . A . ( 1 9 7 5 ) " W h a t ' s i n a l i n k ? F o u n d a t i o n s f o r s e -m a n t i c n e t w o r k s . " , i n Rep r es en ta t io n a n d Un d er s ta n d in g , D . G .B o b r o w a n d A . M . C o l l i n s ( e d s . ) , A c a d e m i c P r e s s , N e w Y o r k ,p p . 3 5 - 8 2 .3 0 . W o o d s , W . ( 1 9 7 7 ) " S e m a n t i c s a n d Q u a n t i f i c a t i o n i n N a t u r a lL a n g u a g e Q u e s t io n A n s w e r i n g " , B o l t B e r a n e k a n d N e w m a nR e p o r t 3 6 8 7 .

A m e r i c a n J o u r n a l o f C o m p u t a t i o n a l L i n g u is t ic s , V o l u m e 7 , N u m b e r 3 , J u l y - S e p t e m b e r 1 98 1 1 4 7


12/12

W i l l i a m A . M a r t i n

W i l l ia m A . M a r t i n , P r o f e s s o r i n t h e D e p a r t m e n t o f E l e c t r i c a l E n g i n e e r i n g a n dC o m p u t e r S c i e n c e a n d i n t h e S l o a n S c h o o l o f M a n a g e m e n t a t M I T a n d a lo n g - t i m em e m b e r o f t h e A s s o c i a t i o n f o r C o m p u t a t i o n a l l in g u is t ic s , d ie d T u e s d a y , J u n e 2 , 1 9 8 1 ,a f t e r a n e x t e n d e d il ln e s s. H e w a s 4 3 .

B i ll M a r t i n m a n a g e d t o c r o w d i n t o a n a l l - t o o - s h o r t l if e t h r e e d i s t i n c t r e s e a r c hc a r e e r s. A f t e r r e c e i v i n g h is d o c t o r a t e f r o m M I T , h e , in a s s o c i a ti o n w i t h J o e l M o s e s , l e dt h e M A C S Y M A d e v e l o p m e n t p r o je c t . M A C S Y M A , a c o m p u t e r s ys t em fo r a p p li e dm a t h e m a t i c i a n s , h a s b e c o m e o n e o f t h e f e w l a rg e a p p l i e d - A I s y s t e m s t h a t h a v e e v e r -g r o w i n g u se r c o m m u n i t i e s . H e t h e n s w i t c h e d i n t o t h e fi e ld o f a u t o m a t i c p r o g r a m m i n g ,w h e r e h e w a s re s p o n si b le f o r d e v el o p in g th e P R O T O S Y S T E M a u t o m a t i c p ro g r a m m i n gs y s t e m . T h i s e f f o r t c u l m i n a t e d in th e d e v e l o p m e n t o f H I B O L , a h ig h - l e v e l b u s i n e s s -o r i e n t e d l a n g u a g e . C h a n g i n g f ie l d s o n c e a g a i n , B i ll b e c a m e a n e x p e r t in c o m p u t a t i o n a ll in g u is ti c s, c o n c e n t r a t i n g o n p r o b l e m s i n p a r s i n g a n d k n o w l e d g e r e p r e s e n t a t i o n .

B i l l ' s i n v o l v e m e n t w i t h c o m p u t a t i o n a l l i n g u i s t i c s w a s t r i g g e r e d b y t h e n e e d h ep e r c e i v e d f o r a n a t u r a l la n g u a g e i n t e r f a c e t o P R O T O S Y S T E M . H i s e a r l y e f f o r t s i n t h isa r e a b e g a n w i t h a n i n v e s t i g a t i o n o f t h e s t r u c t u r e o f d i a l o g u e s . T h i s le d to t h e d e v e l o p -m e n t o f f i rs t M A P L a n d l a t e r O W L a s f o r m a l la n g u a g e s f o r re p r e s e n t i n g k n o w l e d g e o fE n g li sh , o f t h e a p pl ic a t io n d o m a i n , an d o f P R O T O S Y S T E M ' s p r o c e d u r e s . S u b s e q u e n t -l y , t h e p r o b l e m s o f E n g l i sh l a n g u a g e p r o c e s s i n g c a m e t o b e t h e f o c a l p o i n t o f h is w o r k ,m o t i v a t i n g h i s f u l l c o n c e n t r a t i o n o n c o m p u t a t i o n a l l in g u i s t ic s d u r i n g t h e l a s t f e w y e a r s .

B i ll 's f o r e m o s t t a l e n ts w e r e h i s a bi l it y to a c q u i r e a n i m m e n s e k n o w l e d g e o f b o t h t h em o s t s i g n i f i c a n t a n d t h e m o s t i n t r i c a t e p r o b l e m s o f a n y d o m a i n t h a t h e c h o s e t o f o c u so n a n d h i s a b il it y to f o r g e a n d m a i n t a i n a l ar g e c o h e r e n t r e s e a r c h p r o j e c t . H i s a t t e n t i o nh a s a l t e r n a t e d b e t w e e n t h e s e t w o s o m e w h a t d i s s i m i l a r m o t i f s , a s i n d i v i d u a l r e s e a r c h e ra n d a s p r o j e c t h e a d . H e w a s a f ir s t - ra t e e n g i n e e r t h r o u g h o u t , o n e w h o b e l i e v e d a n d p u ti n t o p r a c t i c e t h e n o t i o n t h a t g o o d e n g i n e e r i n g p r i n c i p l e s c o u l d b e u s e d t o r e s o l v e a l ls c i e n t i f ic a n d a p p l i c a t i o n p r o b l e m s . B e l i e v i n g i n t h e n o t i o n o f a " s m a l l i n f i n i t y , " B i lld e m o n s t r a t e d , o n m a n y o c c a s i o n s , th a t s e e m i n g l y u n b o u n d e d p r o b l e m s w i ll s u c c u m b t ot h e c a r e f u l a n a ly s i s o f t h e ir h u n d r e d s o f c a s e s, w h e n t h e " i n f i n i t y " o f t h e i r c o m p l e x i t y isi n d e e d o n l y o n t h e o r d e r o f h u n d r e d s .

B il l w a s a n a t iv e o f O k l a h o m a C i t y , g r a d u a t i n g f r o m N o r t h w e s t C l a s s e n H i g h S c h o o l ,w h e r e h e m a d e h i s m a r k a s a w r e s t l e r a s w e l l a s a s tu d e n t . H e w a s a n O k l a h o m a s t a t ew r e s t l i n g c h a m p i o n , a n d c o n t i n u e d h i s a c t i v e i n t e r e s t i n a t h l e t i c s a s a n u n d e r g r a d u a t e a tM I T , w h e r e h e w a s a m e m b e r o f B e t a T h e t a P i fr a t e r n i ty . H e r e c e i v e d t h e b a c h e l o r ' s ,m a s t e r ' s , a n d P h D d e g r e e s f r o m M I T i n 1 9 6 0 , 1 9 6 2 , a n d 1 9 6 7 , r e s p e c t i v e l y , a ll i ne l e c tr i c a l e n g i n e e r i n g , a n d w a s a p p o i n t e d t o t h e M I T f a c u l t y in 1 9 6 8 .

H e s u r v i v e d b y h is w i fe , S u s a n Y . F o r b e s M a r t i n ; t h r e e c h i l d r e n , Ja m i e , T a d , a n dJ o n ; h i s p a r e n t s E a r l a n d B a r b a r a M a r t i n o f O k l a h o m a C i t y ; a n d a s i s te r J a n e A n n eS l a n e, al so o f O k l a h o m a C i t y . A m e m o r i a l f u n d h a s b e e n e s t a b l i s h e d in P r o f e s s o rM a r t i n 's n a m e b y t h e D e p a r t m e n t o f E l e c tr i ca l E n g in e e r i n g a n d C o m p u t e r S c i e n c e a tM I T . I t w i ll a w a r d a n a n n u a l p r i z e f o r th e b e s t M I T u n d e r g r a d u a t e t h e s i s in c o m p u t e rs c i e n c e .

1 4 8 A m e r i c a n J o u r n a l o f C o m p u t a t io n a l L i n g u is t i c s , V o l u m e 7 , N u m b e r 3 , J u l y - S e p t e m b e r 1 98 1

Documents

Formal Representation of Quantified English Expressions