'Kenoma.Anatomical.attachment_transpose_power' depends on axioms: [propext]
'Kenoma.Anatomical.paired_attachment_work' depends on axioms: [propext, Quot.sound]