Functional prototype for independent study with Yanjin Long and Vincent Aleven.