:: deftheorem defines ref MMLQUERY:def 28 :
for X being ConstructorDB
for a being Element of X holds a ref = a . (@ the ref-operation of X);