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.
20. 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 computing device, a first data structure representing at least a partial meaning for each one of at least one of the natural language predicating expression parts; receive, by the computing device, at least one second data structure representing at least a partial meaning for an artificial language predicating expression argument, wherein the artificial language predicating expression argument corresponds to a second thematic role sequence element; receive, by the computing device, a specification of the identity of an element of the second thematic role sequence that corresponds to the at least one second data structure; assign, by the computing device, the first data structure for each one of the plurality of natural language predicating expression parts to a corresponding one of at least one artificial language predicating expression argument place based on determining the correspondence between at least one first thematic role sequence element and the at least one of the natural language predicating expression part and based on receiving the correspondence between the at least one second thematic role sequence element and the at least one artificial language predicating expression argument place; and assign, by the computing device, each of the received at least one second data structure to the artificial predicating expression argument place of the corresponding identified element of the second thematic role sequence.