Constructors = [:{a_Type,an_Adj,a_Term},[:QuasiLoci,NAT:]:]