Add example A-box axioms

[ramonawalls]

Per issue #103: "As an aside, I think pco should come with a set of exemplar abox axioms that can simultaneously illustrate the sometimes meta-level thinking in pco, as well as serve as unit tests."