Hello Mizar Members and best New Year wishes, Does anybody know anything about question (question phrase) description formalisms? - Or even the whole Question-Answer world formalisation theories? I know headers only - such as T. Kubinsky, N. Belnap, Loeser works etc. Maybe smth had been "mizarised"? - or available any way? -- Best regards, Vladimir Rykov mailto:rykov2000@mail.ru