Lehetséges kérdések

• Melyek a lehetséges fogalmak?
  • „ismeri-e a program a használt fogalmakat?”
• Szabályosak-e a relációk?
  • „van-e értelme ennek a relációnak ezen a forrásokon?”
• Lehet-e következetéseket levonni? Például:
  • „ha 'A' 'B'-től balra van, 'B' 'C'-től balra van, akkor
  • balra van-e 'A' 'C'-től?”
  • nekünk nyílvánvaló, egy programnak nem ...
  • levonhatják-e a programok ezeket a következetetéseket?
• Ha valaki más definiál egy állításhalmazt: ugyanaz-e?
  • nyilvánvaló probléma egy nemzetközi környezetben