make aux less constrained: remove: [:subcat :2 :subcat :2] = empty.
add “avere” for transitive aux