p:with_Type
with
<xs:element name="isTagged" substitutionGroup="p:abstractAssertion" type="p:isTagged_Type"/>