#include <stdio.h>
#include <string.h>

int count;
char names[10000][100];
int c[10000];
int typ[10000];

int main() {
	for(;;) {
		char buf3[1000];
		scanf("%i %s\n", &count, buf3);
		if (count == 0 && !strcmp(buf3, "END"))
			return 0;
		printf("%s\n",buf3);
		int t;
		char buf2[1000];
		float f;
		for (t=0; t < count; t++) {
			scanf("%s %s %f\n", names[t], buf2, &f);
			int a = f * 1000;
			if (!strcmp(buf2,"sell")) {
				typ[t] = 1;
			} else  { typ[t] = 0; }
			c[t] = a;
		}
		for (t=0; t < count; t++) {
			printf("%s:", names[t]);
			int val = c[t];
			int z = 0;
			if (typ[t] == 1) {
				int s;
				for (s=0; s < count; s++) {
					if (typ[s] == 0) {
						if (c[s] >= val) {
							printf(" %s", names[s]);
							z = 1;
						}
					}
				}

			} else {
				int s;
				for (s=0; s < count; s++) {
					if (typ[s] == 1) {
						if (c[s] <= val) {
							printf(" %s", names[s]);
							z = 1;
						}
					}
				}

			}
			if (z == 0) {
				printf(" NO-ONE");
			}
			printf(" \n");
		}

	}
}