No.13484714 ViewReplyOriginalReport
I tried translating the 1st art. of the Univ. Decl. of Hum. Rights into logic script.
Did I make any mistake?