úÎÓ               spata-2009.9.18Network.Spata.TypeNetwork.Spata.DSL Network.Spata Guardians GuardiansTTaskGuardsGuardAssocguardvalidatetrain inclusion_of presence_of length_ofp predicate