Loglan 1: A Logical Language