document getlex_n<[inso]> and bindlex_n<[inso]>