File:Formal Paper NL Model.png