|entries|ibn-sina-logic|