Symbol: list_ctx_and_or_nns