d:AXIOM
d:CATEGORY
d:CONSTR
d:DOMAIN
