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";
        }
    }
}