Risoluzione automatica di anafora e formalismi astratti per linguaggio naturale