cord: truthsemantics