Logical syntax of language.Tr by Amethe Smeaton - Carnap Rudolf (1937)