## go_axiomatized_minimal.ofn

go, plus all production axioms (currently in go_xp_write but soon to
be in editors), with is_inferred stripped, and all non-label
annotation assertions also stripped (assumption is there not required
for reasoning).