// Someone's name
concept Name {
  S name;
}

// A person (human or computer)
concept Person {}

// link a person to a name
concept Person2Name {
  new Ref<Person> person;
  new Ref<Name> name;
  bool usable = true;
}

// our user
Person > User {}

// myself
Person > Me {}

// A line typed by user or bot
concept Line {
  S text;
  new Ref<Person> author;
  new Ref<LineIdea> idea; // the interpretation we settled on

  *() {}
  *(Person a, S *text) { author.set(a); }
  *(S *text, LineIdea idea) { this.idea.set(idea); }
  *(S *text, Class<? extends LineIdea> idea) { this.idea.set(uniq(idea)); }
}

// A line interpretation
concept LineIdea {}

// Bot error
LineIdea > LError {
  S stackTrace;
  
  *() {}
  *(Throwable e) { stackTrace = getStackTrace(e); change(); }
}

// "test"
LineIdea > LTest {}

// repeating another line
LineIdea > LRepeating {}

// A greeting ("hello X")
LineIdea > LGreet {
  new Ref<Person2Name> name;
  
  *() {}
  *(Person2Name n) { name.set(n); }
}

// base class for questions
LineIdea > LQuestion {}

// "What is your name?"
LQuestion > LWhatsYourName {}

// "I don't understand"
LineIdea > LIDontUnderstand {}

// I have nothing to say
LineIdea > LLalala {}

// "My name is X"
LineIdea > LMyNameIs {
  new Ref<Name> name;
}

// A specific question/answer pair
concept QA_WhatsYourName_MyNameIs {
  new Ref<Line> q;
  new Ref<Line> a;
}

LineIdea > LAskMeSomething {}

// Wrap a bug during processing of user input
LineIdea > LBug {
  S stackTrace;
  
  *() {}
  *(Throwable e) { stackTrace = getStackTrace(e); change(); }
}

// We couldn't interpret a line yet
LineIdea > LUnknown {}

LineIdea > LIDontKnowWhatToAskYou {}

LineIdea > LGreetMe {}

LineIdea > LISee {}

concept Dialog {
  new RefL<Line> lines;
}

static Dialog dialog() { ret unique(Dialog); }
static User user() { ret uniq(User); }
static Me me() { ret uniq(Me); }

static L<Person2Name> usableNames(Person p) {
  ret list(Person2Name, "usable", true, "person", p);
}