It performs some of the reasoning needed for understanding metaphorical utterances. It performs both ordinary and metaphor-based reasoning about mental states. This is fully combined with non-simulative reasoning about mental states. All the reasoning is done within a general purpose framework for uncertain reasoning, which has no particular orientation towards mental states or metaphor. The framework is rule-based.
Uncertainty is expressed by means of qualitative certainty levels.
The system does not currently take natural language input. Rather, it is given logical expressions that are simplified representations of the contents of small, hypothetical discourse fragments. Dr Alan Wallington is a research fellow working on the project, and Dr Mark Lee is also helping. If the name sounds like that of an Egyptian pharaoh, so much the better.