sentence: Харрисон, Хейлс и некоторые другие математики уверены, что эту проблему можно решить - с помощью так называемых формальных доказательств (ФД).
unsandhied: Харрисон_Animacy=Anim|C=N|Gender=Masc|N=Sg ,__ Хейлс_Animacy=Anim|C=N|Gender=Masc|N=Sg и__ некоторый_C=N|N=Pl|PT=In другой_C=N|Degree=Pos|N=Pl математик_Animacy=Anim|C=N|Gender=Masc|N=Pl уверенный_Degree=Pos|N=Pl|Variant=Short ,__ что__ этот_C=A|Gender=Fem|N=Sg|PT=Dem проблема_Animacy=Inan|C=A|Gender=Fem|N=Sg можно_Degree=Pos решить_A=Pf|VF=Inf|V=Act -__ с__ помощь_Animacy=Inan|C=I|Gender=Fem|N=Sg так_Degree=Pos называть_A=Imp|C=G|N=Pl|T=Pr|VF=Pa|V=Ps формальный_C=G|Degree=Pos|N=Pl доказательство_Animacy=Inan|C=G|Gender=Neut|N=Pl (__ ФД_Animacy=Inan|C=N|Gender=Neut|N=Pl )__ .__