Deal with unlabeled terms

Terms used in axioms are being imported without their labels or any other annotation information.