|entries|logic-nonmonotonic|