Symb 3.708: Although some mean elves will bite even though not provoked, neither Bruce nor Carrie will bite unless provoked. Incorrect: Quantifier Unrestricted symbol : English (3x ((HX A Gx) -+ (Ix A ~JX)) A ~((lb A Ic) A ~(Jb A Jc))) F{1} :{1} is friendly G(1} :{1} is mean Although some mean elves will bite even though not provoked, neither Bruce nor Carrie will bite unless provoked. H(1} : {1} is an elf ( A H1} :{1} will bite 3x J(1} : {1} is provoked b : Bruce (HX A Gx (Ix A (Ib A Ic ) n : Carrie Hx SX Ix ~ JX Ib Ic ( Jb A Jc) Jx Jb Jc