|entries|logic-many-sorted|