information about Logical consequence field