Subordinates


  1. purpose: I will go get dressed.
  2. result: we will not be around to find out whether we were wrong | we introduce Aristotle, an AI system that combines formal verification with informal reasoning, achieving gold-medal-equivalent performance on IMO problems.
  3. stimuli: she smiled to see such a beautiful sight.
  4. evidence: he must be crazy to behave like that.
  5. condition: to hear them talk, you would think they are old friends.