Wiktionary
hypersequents
n. (plural of hypersequent English)
n. (plural of hypersequent English)