Learning Logic [] 63 [] Ordinary Language Into Standard Form