| Name | |
| Statement | |
| English | ((prop . model) …) |
| Predefs | ((prop. alist) …) |
| Graphic | string |
| … | |
| Soughts | (prop …) |
| Graph | ((qnode…) (enode …)) |
| VarIndex | (qvar …) |
| EqnIndex | (eqn …) |
| Solutions | (Eqnset …) |
| wm |
| Symbol | |
| Gindex | integer |
| Vindex | |
| Exp | |
| Var | |
| Eqns | |
| Marks | |
| Path | |
| Assumptions | |
| Entries |
| Symbol | |
| ID | |
| Gindex | integer |
| Eindex | Eqn or nil |
| Algebra | |
| Path | |
| Assumptions | |
| Qnodes | (Qnode …) |
| Marks | |
| Subeqns | (eqn …) |
| Subvars | |
| Entries | (SystemEntry …)
by sg-setup-systementries |
| Eqns | (Enode …) |
| Nodes | (Enode or Qnode …) |
| Assumpts | |
| Solutions |
| index | |
| type | |
| Algebra | |
| Exp | prop |
| nodes | (Enode …) |
| Solved |
| index | |
| var | |
| Exp | prop |
| value | |
| units | |
| marks | |
| nodes |
State1 can be (Correct Dead-Path
Invalid Forbidden) by
sg-Marks->State
State can be (Correct Incorrect Forbidden Dead-Path nogood premature-entry)
| Index | integer |
| Prop | |
| Children | (prop …) |
| model | model |
| Sources | (csdo …) |
| State | state1 |
| Prereqs | ((SystemEntry …) …) |
| CogLoad | |
| optional | |
| Entered | (StudentEntry …) |
| Id | |
| Prop | |
| State | state |
| CInterp | (SystemEntry …) |
| PossibleCInterps | ((state SystemEntry) …) |
| Verbatim | |
| ParsedEqn | |
| ErrInterp | ErrorInterp or nil |
| ImplicitEqns | (StudentEntry …) |
| GivenEqns | (StudentEntry …) |
| Time |
| test | |
| Intended | (SystemEntry …) |
| Remediation | Turn |
| Diagnosis | |
| Order | ((class . rank) …) |
| State | state or done-already |
| op | |
| effects | |
| varvals | |
| entries | (SystemEntry …) |
| result | (alist …) |
| id | |
| coloring | |
| assoc | alist |
| … |
| num | integer |
| entries | (SystemEntry …) |
| form | matches Problem-Soughts Qnode-Exp Qvar-Exp |
| new-english | model with prop |
| … |
| kbform | matches csdo-effects |
| … |
| form |
| … |
| form | matches Enode-ID qsolres-id |
| … |