Tagged inclusion-and-belonging