|entries|logical-consequence|