17. A computer program product comprising a non-transitory computer readable storage medium having program instructions embodied therewith, the program instructions executable by a computing device to cause the computing device to: perform, by the computing device, syntactic and semantic analysis; receive, by the computing device, a natural language predicating expression; determine, by the computing device, a first thematic role sequence; determine, by the computing device, a second thematic role sequence; apply, by the computing device, the first thematic role sequence to the natural language predicating expression; apply, by the computing device, the second thematic role sequence to the natural language predicating expression for determining a standardized order of thematic roles contained in the first thematic role sequence; construct, by the computing device, a representation of an artificial language predicating expression with the standardized order of thematic roles contained in the first thematic role sequence in which predicate arguments are represented by using the applied second thematic role sequence, wherein the construction of the representation of an artificial language predicating expression with the standardized order by the processor, in which predicate arguments are presented thereby construction of the representation of an artificial language predicating expression with the standardized order by the processor improves the processing speed and efficiency of syntactic and semantic analysis at the processor; and display, in a user interface of the computing device, the representation of the artificial language predicating expression based on at least one thematic role included in the first thematic role sequence and the second thematic role sequence, wherein the representation of the artificial language predicating expression comprises a specification of an artificial logical predicate and a specification of the predicate arguments of the logical predicate, wherein each of the arguments corresponds to at least one thematic role in the first thematic role sequences.
17. A computer program product comprising a non-transitory computer readable storage medium having program instructions embodied therewith, the program instructions executable by a computing device to cause the computing device to: perform, by the computing device, syntactic and semantic analysis; receive, by the computing device, a natural language predicating expression; determine, by the computing device, a first thematic role sequence; determine, by the computing device, a second thematic role sequence; apply, by the computing device, the first thematic role sequence to the natural language predicating expression; apply, by the computing device, the second thematic role sequence to the natural language predicating expression for determining a standardized order of thematic roles contained in the first thematic role sequence; construct, by the computing device, a representation of an artificial language predicating expression with the standardized order of thematic roles contained in the first thematic role sequence in which predicate arguments are represented by using the applied second thematic role sequence, wherein the construction of the representation of an artificial language predicating expression with the standardized order by the processor, in which predicate arguments are presented thereby construction of the representation of an artificial language predicating expression with the standardized order by the processor improves the processing speed and efficiency of syntactic and semantic analysis at the processor; and display, in a user interface of the computing device, the representation of the artificial language predicating expression based on at least one thematic role included in the first thematic role sequence and the second thematic role sequence, wherein the representation of the artificial language predicating expression comprises a specification of an artificial logical predicate and a specification of the predicate arguments of the logical predicate, wherein each of the arguments corresponds to at least one thematic role in the first thematic role sequences. 24. The computer program product of claim 17 , wherein the program instructions are executable by the computing device to cause the computing device to receive, by the computer programming product, the natural language predicating expression in a user interface.