There are 3 duplicated short codes for axioms.

[alanruttenberg]

These were fixed in the source but accidentally not checked in here.

• Spatial region is a universal was duplicate qga-1 should be rej-1
• history is a subclass of process was duplicate abo-1 should be zuj-1
• located-in is transitive at a time was duplicate xlm-1 should be ets-1