public static boolean closedByAssertionP(Stella_Object self) {
    return (Logic.testPropertyP(self, Logic.SGT_PL_KERNEL_KB_CLOSED) &&
        (!((BooleanWrapper)(KeyValueList.dynamicSlotValue(((Context)(Stella.$CONTEXT$.get())).dynamicSlots, Logic.SYM_LOGIC_MONOTONICp, Stella.FALSE_WRAPPER))).wrapperValue));
  }