Spaces:
Runtime error
Runtime error
| type answer : t { | |
| predicates { | |
| correct(answer, npc); | |
| solved(answer); | |
| } | |
| inform7 { | |
| type { | |
| kind :: "answer-like"; | |
| definition :: "answer-like is a kind of thing. answer-like is privately-named. A answer-like can be solved. A answer-like is usually not solved."; | |
| } | |
| predicates { | |
| correct(answer, npc) :: ""; | |
| solved(answer) :: "The {answer} is solved"; | |
| } | |
| } | |
| } | |