W02-0211 version of SRI 's Tacitus-lite weighted abductive inference engine ( Hobbs et al. , 1993 ) as our
hide detail