|entries|logic-inductive|