intersubtypes