|entries|logic-manyvalued|