other,19-3-C90-3045,ak semantics </term> represented in a <term> logical form language </term> , or to their translates in another
hide detail