id sid eid entity type ajis02-296 1 1 bashar GPE ajis02-296 1 2 alessandra russo PERSON ajis02-296 1 3 180 CARDINAL ajis02-296 1 4 london GPE ajis02-296 1 5 u.k. GPE ajis02-296 12 1 bohner & arnold 96 ORG ajis02-296 16 1 91 CARDINAL ajis02-296 16 2 cugola et al ORG ajis02-296 16 3 96 CARDINAL ajis02-296 16 4 schwanke & kaiser 88 ORG ajis02-296 19 1 finkelstein et al PERSON ajis02-296 20 1 kakas & mancarella 90 ORG ajis02-296 20 2 90 CARDINAL ajis02-296 23 1 at least one CARDINAL ajis02-296 27 1 kakas et al ORG ajis02-296 27 2 98 CARDINAL ajis02-296 29 1 97 CARDINAL ajis02-296 29 2 98 CARDINAL ajis02-296 29 3 trivialisation5 PERSON ajis02-296 30 1 qc GPE ajis02-296 31 1 kakas & ORG ajis02-296 31 2 97 CARDINAL ajis02-296 32 1 the qc representation FAC ajis02-296 34 1 section 3 LAW ajis02-296 35 1 5 CARDINAL ajis02-296 36 1 118 CARDINAL ajis02-296 36 2 section 2 LAW ajis02-296 37 1 section 3 LAW ajis02-296 37 2 section 4 LAW ajis02-296 38 1 section 5 LAW ajis02-296 38 2 6 CARDINAL ajis02-296 44 1 at least one CARDINAL ajis02-296 44 2 rj ORG ajis02-296 44 3 some 1 CARDINAL ajis02-296 45 1 rj ORG ajis02-296 47 1 qc GPE ajis02-296 48 1 one CARDINAL ajis02-296 48 2 three CARDINAL ajis02-296 49 1 98 CARDINAL ajis02-296 50 1 96 CARDINAL ajis02-296 50 2 98 CARDINAL ajis02-296 50 3 kakas & mancarella 90 ORG ajis02-296 50 4 inoue & sakama ORG ajis02-296 50 5 95 CARDINAL ajis02-296 51 1 menzies PERSON ajis02-296 51 2 96 CARDINAL ajis02-296 52 1 kakas & mancarella 90 ORG ajis02-296 52 2 inoue & sakama ORG ajis02-296 52 3 95 CARDINAL ajis02-296 54 1 first ORDINAL ajis02-296 54 2 second ORDINAL ajis02-296 54 3 inoue & sakama ORG ajis02-296 54 4 95 CARDINAL ajis02-296 56 1 ab ORG ajis02-296 56 2 request6 ORG ajis02-296 57 1 • CARDINAL ajis02-296 57 2 • CARDINAL ajis02-296 59 1 {s ORG ajis02-296 59 2 • CARDINAL ajis02-296 59 3 \j PRODUCT ajis02-296 61 1 monotonic7 ORG ajis02-296 61 2 a+, a~ ORG ajis02-296 61 3 0 CARDINAL ajis02-296 61 4 0 CARDINAL ajis02-296 61 5 6 CARDINAL ajis02-296 63 1 119 CARDINAL ajis02-296 63 2 section 2 LAW ajis02-296 67 1 qc ORG ajis02-296 68 1 qc ORG ajis02-296 69 1 qc GPE ajis02-296 71 1 2 CARDINAL ajis02-296 71 2 xj ORG ajis02-296 71 3 qc ORG ajis02-296 71 4 specification8 PERSON ajis02-296 71 5 london GPE ajis02-296 71 6 las GPE ajis02-296 71 7 finkelstein & dowell ORG ajis02-296 71 8 96 CARDINAL ajis02-296 71 9 -»medicaleemergency PERSON ajis02-296 74 1 two CARDINAL ajis02-296 74 2 dispatchambulance PERSON ajis02-296 75 1 qc ORG ajis02-296 78 1 qc GPE ajis02-296 80 1 two CARDINAL ajis02-296 81 1 cti ORG ajis02-296 83 1 tti GPE ajis02-296 84 1 process9 PERSON ajis02-296 87 1 qc CARDINAL ajis02-296 87 2 98 CARDINAL ajis02-296 88 1 8 CARDINAL ajis02-296 89 1 9 CARDINAL ajis02-296 89 2 120 CARDINAL ajis02-296 89 3 qc ORG ajis02-296 89 4 section 2.2 LAW ajis02-296 90 1 r. NORP ajis02-296 93 1 qc ORG ajis02-296 93 2 monotonic ORG ajis02-296 94 1 qc GPE ajis02-296 97 1 r. NORP ajis02-296 97 2 cti ORG ajis02-296 97 3 s. PERSON ajis02-296 97 4 one CARDINAL ajis02-296 97 5 two CARDINAL ajis02-296 99 1 first ORDINAL ajis02-296 100 1 second ORDINAL ajis02-296 101 1 third ORDINAL ajis02-296 102 1 qc abductive ORG ajis02-296 105 1 qc ORG ajis02-296 105 2 ab ORG ajis02-296 107 1 section 2.2 LAW ajis02-296 109 1 qc ORG ajis02-296 109 2 qc ORG ajis02-296 111 1 qc ORG ajis02-296 113 1 a. PERSON ajis02-296 113 2 qc GPE ajis02-296 114 1 one CARDINAL ajis02-296 118 1 las GPE ajis02-296 118 2 section 3.1 LAW ajis02-296 118 3 dispatchambulance PERSON ajis02-296 118 4 10 CARDINAL ajis02-296 119 1 121 CARDINAL ajis02-296 120 1 one CARDINAL ajis02-296 120 2 two CARDINAL ajis02-296 123 1 one CARDINAL ajis02-296 124 1 two CARDINAL ajis02-296 125 1 two CARDINAL ajis02-296 126 1 two CARDINAL ajis02-296 138 1 98 CARDINAL ajis02-296 138 2 kakas & mourlas ORG ajis02-296 138 3 97 CARDINAL ajis02-296 139 1 qc ORG ajis02-296 140 1 kakas & ORG ajis02-296 140 2 97 CARDINAL ajis02-296 141 1 qc anti GPE ajis02-296 142 1 two CARDINAL ajis02-296 143 1 first ORDINAL ajis02-296 143 2 qc ORG ajis02-296 143 3 first ORDINAL ajis02-296 143 4 section 4.2 LAW ajis02-296 143 5 second ORDINAL ajis02-296 143 6 first ORDINAL ajis02-296 144 1 qc ORG ajis02-296 145 1 section 3.1 LAW ajis02-296 146 1 first ORDINAL ajis02-296 146 2 first ORDINAL ajis02-296 148 1 qc ORG ajis02-296 148 2 section 4.2 LAW ajis02-296 151 1 122 CARDINAL ajis02-296 151 2 first ORDINAL ajis02-296 151 3 program12 PERSON ajis02-296 154 1 cti ORG ajis02-296 155 1 4accident(person DATE ajis02-296 157 1 kowalski 79 PERSON ajis02-296 159 1 a. analogously PERSON ajis02-296 165 1 b. bl PERSON ajis02-296 166 1 asterisk ORG ajis02-296 168 1 first ORDINAL ajis02-296 170 1 first ORDINAL ajis02-296 175 1 asterisk ORG ajis02-296 175 2 asterisk ORG ajis02-296 177 1 qc LOC ajis02-296 177 2 first ORDINAL ajis02-296 177 3 qc ORG ajis02-296 177 4 first ORDINAL ajis02-296 178 1 two CARDINAL ajis02-296 179 1 qc ORG ajis02-296 179 2 first ORDINAL ajis02-296 180 1 qc GPE ajis02-296 180 2 section 3.1 LAW ajis02-296 181 1 first ORDINAL ajis02-296 182 1 first ORDINAL ajis02-296 182 2 qc ORG ajis02-296 182 3 two CARDINAL ajis02-296 183 1 12 CARDINAL ajis02-296 185 1 123 CARDINAL ajis02-296 186 1 first ORDINAL ajis02-296 187 1 qc ground atomic FAC ajis02-296 188 1 first ORDINAL ajis02-296 188 2 qc ground atomic FAC ajis02-296 189 1 qc ORG ajis02-296 189 2 first ORDINAL ajis02-296 189 3 holdss(cc NORP ajis02-296 190 1 2 CARDINAL ajis02-296 190 2 appendix NORP ajis02-296 191 1 qc LOC ajis02-296 191 2 first ORDINAL ajis02-296 192 1 section 3.1 LAW ajis02-296 192 2 first ORDINAL ajis02-296 192 3 sfol GPE ajis02-296 193 1 qc GPE ajis02-296 193 2 first ORDINAL ajis02-296 194 1 dispatchambulance PERSON ajis02-296 195 1 first ORDINAL ajis02-296 195 2 t(s PERSON ajis02-296 195 3 first ORDINAL ajis02-296 196 1 qc ORG ajis02-296 196 2 two CARDINAL ajis02-296 197 1 appendix NORP ajis02-296 198 1 1 CARDINAL ajis02-296 199 1 first ORDINAL ajis02-296 199 2 first ORDINAL ajis02-296 199 3 section 3.1 LAW ajis02-296 200 1 first ORDINAL ajis02-296 201 1 1 CARDINAL ajis02-296 201 2 t(s PERSON ajis02-296 201 3 first ORDINAL ajis02-296 203 1 first ORDINAL ajis02-296 203 2 t(s PERSON ajis02-296 204 1 w(a DATE ajis02-296 204 2 appendix NORP ajis02-296 204 3 russo & ORG ajis02-296 204 4 98 CARDINAL ajis02-296 205 1 qc ORG ajis02-296 206 1 first ORDINAL ajis02-296 208 1 first ORDINAL ajis02-296 208 2 qc ORG ajis02-296 211 1 first ORDINAL ajis02-296 211 2 qc ORG ajis02-296 211 3 {holdss(a PERSON ajis02-296 211 4 holdss(a2 ORG ajis02-296 211 5 holdss(an ORG ajis02-296 211 6 124 CARDINAL ajis02-296 212 1 2 CARDINAL ajis02-296 213 1 sfol GPE ajis02-296 215 1 1 CARDINAL ajis02-296 215 2 holdss(an ORG ajis02-296 216 1 2 CARDINAL ajis02-296 218 1 holdss(-ioti ORG ajis02-296 218 2 3 CARDINAL ajis02-296 218 3 2 CARDINAL ajis02-296 218 4 holdss(cc NORP ajis02-296 219 1 3 CARDINAL ajis02-296 221 1 holdss(oj PERSON ajis02-296 224 1 { pvqvr PERSON ajis02-296 226 1 first ORDINAL ajis02-296 226 2 first ORDINAL ajis02-296 226 3 first ORDINAL ajis02-296 227 1 3 CARDINAL ajis02-296 227 2 sfol GPE ajis02-296 227 3 3 CARDINAL ajis02-296 229 1 1 CARDINAL ajis02-296 230 1 pj PERSON ajis02-296 231 1 2 CARDINAL ajis02-296 236 1 3 CARDINAL ajis02-296 247 1 first ORDINAL ajis02-296 251 1 second ORDINAL ajis02-296 257 1 13 CARDINAL ajis02-296 258 1 qc GPE ajis02-296 258 2 appendix PERSON ajis02-296 259 1 125 CARDINAL ajis02-296 259 2 second ORDINAL ajis02-296 260 1 section 3.2 LAW ajis02-296 261 1 qc ORG ajis02-296 263 1 2 CARDINAL ajis02-296 266 1 appendix NORP ajis02-296 270 1 qc GPE ajis02-296 274 1 one CARDINAL ajis02-296 274 2 two CARDINAL ajis02-296 275 1 qc ORG ajis02-296 275 2 two CARDINAL ajis02-296 276 1 two CARDINAL ajis02-296 278 1 first ORDINAL ajis02-296 278 2 first ORDINAL ajis02-296 278 3 sfol GPE ajis02-296 279 1 t(->rqc NORP ajis02-296 291 1 126 CARDINAL ajis02-296 293 1 -»bookavailable PERSON ajis02-296 298 1 two CARDINAL ajis02-296 298 2 two CARDINAL ajis02-296 298 3 two CARDINAL ajis02-296 298 4 two CARDINAL ajis02-296 299 1 two CARDINAL ajis02-296 299 2 qc GPE ajis02-296 299 3 two CARDINAL ajis02-296 299 4 qc ORG ajis02-296 300 1 ghose 99 PERSON ajis02-296 302 1 97 CARDINAL ajis02-296 304 1 93 CARDINAL ajis02-296 306 1 anderson PERSON ajis02-296 306 2 anderson & durney 93 ORG ajis02-296 309 1 van lamsweerde et al PERSON ajis02-296 310 1 van lamsweerde PERSON ajis02-296 310 2 98 CARDINAL ajis02-296 310 3 van lamsweerde et al PERSON ajis02-296 310 4 98 CARDINAL ajis02-296 311 1 van lamsweerde's PERSON ajis02-296 313 1 van lamsweerde et al PERSON ajis02-296 314 1 qc GPE ajis02-296 315 1 duffy et al PERSON ajis02-296 315 2 duffy et al PERSON ajis02-296 315 3 95 CARDINAL ajis02-296 317 1 menzies ORG ajis02-296 318 1 menzies PERSON ajis02-296 318 2 96 CARDINAL ajis02-296 319 1 14 CARDINAL ajis02-296 321 1 127 CARDINAL ajis02-296 324 1 qc ORG ajis02-296 324 2 first ORDINAL ajis02-296 325 1 qc ORG ajis02-296 326 1 qc ORG ajis02-296 331 1 nuseibeh & russo 98 ORG ajis02-296 333 1 three CARDINAL ajis02-296 334 1 first ORDINAL ajis02-296 334 2 first ORDINAL ajis02-296 335 1 second ORDINAL ajis02-296 335 2 menzies PERSON ajis02-296 335 3 menzies et al PERSON ajis02-296 335 4 98 CARDINAL ajis02-296 335 5 menzies et al PERSON ajis02-296 335 6 99 CARDINAL ajis02-296 337 1 third ORDINAL ajis02-296 337 2 russo et al PERSON ajis02-296 337 3 98 CARDINAL ajis02-296 337 4 94 CARDINAL ajis02-296 342 1 steve easterbrook PERSON ajis02-296 342 2 tony kakas PERSON ajis02-296 342 3 jeff kramer PERSON ajis02-296 342 4 tim menzies PERSON ajis02-296 342 5 axel van lamsweerde PERSON ajis02-296 342 6 mark tan PERSON ajis02-296 343 1 uk GPE ajis02-296 343 2 38582 DATE ajis02-296 344 1 anderson j.s. PERSON ajis02-296 344 2 durney b. PERSON ajis02-296 344 3 '93 DATE ajis02-296 344 4 134 CARDINAL ajis02-296 344 5 san diego GPE ajis02-296 344 6 january 1993 DATE ajis02-296 345 1 balzer r. PERSON ajis02-296 345 2 13th ORDINAL ajis02-296 345 3 austin GPE ajis02-296 345 4 texas GPE ajis02-296 345 5 1991 DATE ajis02-296 346 1 bohner s.a. PERSON ajis02-296 346 2 arnold r.s. PERSON ajis02-296 346 3 ieee cs press ORG ajis02-296 346 4 1996 DATE ajis02-296 347 1 console l. PERSON ajis02-296 347 2 sapino m.l. PERSON ajis02-296 347 3 theseider dupre d. ORG ajis02-296 347 4 1994 DATE ajis02-296 348 1 console l. PERSON ajis02-296 348 2 portinale l. PERSON ajis02-296 348 3 dupre d. PERSON ajis02-296 348 4 690 CARDINAL ajis02-296 349 1 cugola g. PERSON ajis02-296 349 2 di nitto e. PERSON ajis02-296 349 3 fuggetta a. PERSON ajis02-296 349 4 5(3 CARDINAL ajis02-296 349 5 19115 DATE ajis02-296 350 1 selman & ORG ajis02-296 350 2 90 CARDINAL ajis02-296 352 1 128 230 CARDINAL ajis02-296 353 1 duffy d. PERSON ajis02-296 353 2 mcdermid j. PERSON ajis02-296 353 3 morris PERSON ajis02-296 353 4 7th ORDINAL ajis02-296 353 5 932 CARDINAL ajis02-296 353 6 68-81,1995 DATE ajis02-296 354 1 esghsi k. PERSON ajis02-296 354 2 5th ORDINAL ajis02-296 354 3 1998 DATE ajis02-296 355 1 esghsi k. PERSON ajis02-296 355 2 '95 DATE ajis02-296 355 3 1:3-8 CARDINAL ajis02-296 356 1 finkelstein a. PERSON ajis02-296 356 2 dowell j. PERSON ajis02-296 356 3 london GPE ajis02-296 356 4 8th ORDINAL ajis02-296 356 5 2 CARDINAL ajis02-296 356 6 schloss velen PERSON ajis02-296 356 7 germany GPE ajis02-296 356 8 22-23rd march 1996 DATE ajis02-296 357 1 finkelstein a. PERSON ajis02-296 357 2 gabbay d. PERSON ajis02-296 357 3 hunter a. PERSON ajis02-296 357 4 kramer j. PERSON ajis02-296 357 5 20(8 CARDINAL ajis02-296 357 6 569-578 CARDINAL ajis02-296 357 7 1994 DATE ajis02-296 358 1 ghose a. k. PERSON ajis02-296 358 2 1999 DATE ajis02-296 358 3 fukuoka GPE ajis02-296 358 4 japan GPE ajis02-296 358 5 118 CARDINAL ajis02-296 358 6 1999 DATE ajis02-296 359 1 holzmann j. PERSON ajis02-296 359 2 23(5 CARDINAL ajis02-296 359 3 279 CARDINAL ajis02-296 360 1 hunter a. PERSON ajis02-296 360 2 october 1998 DATE ajis02-296 361 1 inoue k. PERSON ajis02-296 361 2 sakam c. PERSON ajis02-296 362 1 '95 DATE ajis02-296 362 2 1:204 CARDINAL ajis02-296 363 1 kakas a.c. PERSON ajis02-296 363 2 kowalski r.a. PERSON ajis02-296 363 3 toni f. PERSON ajis02-296 363 4 5:235-324 CARDINAL ajis02-296 363 5 d.m. gabbay GPE ajis02-296 363 6 c.j. GPE ajis02-296 363 7 j.a. robinson eds. PERSON ajis02-296 363 8 oxford university press ORG ajis02-296 363 9 1998 DATE ajis02-296 364 1 kakas a.c PERSON ajis02-296 364 2 mancarella p. PERSON ajis02-296 364 3 16th ORDINAL ajis02-296 364 4 vldb PERSON ajis02-296 364 5 '90 DATE ajis02-296 364 6 brisbane GPE ajis02-296 364 7 australia GPE ajis02-296 364 8 1990 DATE ajis02-296 365 1 kakas a.c PERSON ajis02-296 365 2 mourlas c. PERSON ajis02-296 365 3 1997 DATE ajis02-296 366 1 kowalski r.a. PERSON ajis02-296 366 2 new york GPE ajis02-296 366 3 1979 DATE ajis02-296 367 1 menzies t. PERSON ajis02-296 368 1 1996 DATE ajis02-296 369 1 menzies t. PERSON ajis02-296 369 2 ghose a. PERSON ajis02-296 369 3 waugh s. PERSON ajis02-296 369 4 1998 DATE ajis02-296 370 1 menzies t. PERSON ajis02-296 370 2 easterbrook s. GPE ajis02-296 370 3 waugh t. PERSON ajis02-296 370 4 4h CARDINAL ajis02-296 370 5 '99 DATE ajis02-296 370 6 limerick GPE ajis02-296 370 7 ireland GPE ajis02-296 370 8 june 1999 DATE ajis02-296 371 1 b. PERSON ajis02-296 371 2 kramer j. PERSON ajis02-296 371 3 finkelstein a. PERSON ajis02-296 371 4 760 CARDINAL ajis02-296 371 5 1994 DATE ajis02-296 372 1 b. PERSON ajis02-296 372 2 6th ORDINAL ajis02-296 372 3 japan GPE ajis02-296 372 4 1998 DATE ajis02-296 373 1 russo a. PERSON ajis02-296 373 2 kramer j. PERSON ajis02-296 373 3 3rd ORDINAL ajis02-296 373 4 '98 DATE ajis02-296 373 5 colorado springs GPE ajis02-296 373 6 usa GPE ajis02-296 373 7 april 1998 DATE ajis02-296 374 1 russo a. PERSON ajis02-296 374 2 qc ORG ajis02-296 374 3 1998 DATE ajis02-296 375 1 ryan m. PERSON ajis02-296 375 2 266 CARDINAL ajis02-296 375 3 san diego GPE ajis02-296 375 4 california GPE ajis02-296 375 5 january 1993 DATE ajis02-296 376 1 selman b. PERSON ajis02-296 376 2 aaai ORG ajis02-296 376 3 '90 DATE ajis02-296 376 4 343 CARDINAL ajis02-296 376 5 1990 DATE ajis02-296 377 1 schwanke r.w. PERSON ajis02-296 377 2 kaiser g.e.. ORG ajis02-296 377 3 germany GPE ajis02-296 377 4 1988 DATE ajis02-296 378 1 van lamsweerde a. PERSON ajis02-296 378 2 letier e. PERSON ajis02-296 378 3 20th ORDINAL ajis02-296 378 4 icse-20 DATE ajis02-296 378 5 53-62, 1998 DATE ajis02-296 379 1 van lamsweerde a. PERSON ajis02-296 379 2 darimont r. PERSON ajis02-296 379 3 letier e. PERSON ajis02-296 379 4 nov. 1998 DATE ajis02-296 380 1 d. NORP ajis02-296 380 2 r. NORP ajis02-296 380 3 3rd ORDINAL ajis02-296 380 4 '97 DATE ajis02-296 380 5 annapolis GPE ajis02-296 380 6 january 1997 DATE ajis02-296 381 1 129 CARDINAL ajis02-296 381 2 theorems 1 ORG ajis02-296 381 3 2 CARDINAL ajis02-296 382 1 russo & ORG ajis02-296 382 2 98 CARDINAL ajis02-296 383 1 1 CARDINAL ajis02-296 384 1 qc GPE ajis02-296 384 2 some 1 CARDINAL ajis02-296 385 1 focuscctiv PERSON ajis02-296 385 2 1 CARDINAL ajis02-296 386 1 2 CARDINAL ajis02-296 386 2 first ORDINAL ajis02-296 386 3 first ORDINAL ajis02-296 386 4 qc LOC ajis02-296 386 5 three CARDINAL ajis02-296 387 1 ax2 ORG ajis02-296 389 1 3 CARDINAL ajis02-296 392 1 first ORDINAL ajis02-296 392 2 some 1 CARDINAL ajis02-296 394 1 1 CARDINAL ajis02-296 395 1 two CARDINAL ajis02-296 396 1 qca ORG ajis02-296 396 2 t(s PERSON ajis02-296 396 3 \=fol GPE ajis02-296 397 1 half CARDINAL ajis02-296 400 1 xxs a. PERSON ajis02-296 400 2 qc strong satisfiability FAC ajis02-296 401 1 6t(s DATE ajis02-296 409 1 i(s)axqc ORG ajis02-296 409 2 xfql holdsw(a PERSON ajis02-296 412 1 qc GPE ajis02-296 414 1 the qc language FAC ajis02-296 414 2 x={+oi PERSON ajis02-296 414 3 m-