Abduction of precise situation models