Formalizing Natural Languages · Study