KarlHammar (Talk | contribs) (→‎Contextual Statements) |
KarlHammar (Talk | contribs) (→‎Reasoning Requirements) |
||
Line 17: | Line 17: | ||
=== Reasoning Requirements === | === Reasoning Requirements === | ||
+ | |||
+ | * Currently attending a program is implied by having a starting attendance date to the program being earlier than today, and having either no ending date, or a date in the future. | ||
+ | * If an educational program has as prerequisite another program, which in turn has as prerequisite a third program, then the first program mentioned depends on the third program also, transitively. |