HPKB material and sources that are relevant for the RKF year 2 challenge problem

Some slides the summarise the format for COAs and the available material (powerpoint format).

critiques-combat-power.plans, rules that we developed for relative combat power of units, written in the Expect language.

Other raw KB files used for the year 2 COA critiquing problem, in CycL format. I will label these.

The raw KB files used for the year 1 workarounds problem.