LOCAL vdr : SET  OF  product_definition_relationship := [ ] ; valid : BOOLEAN := TRUE ; pvd : SET OF product_view_definition := [ ] ; END_LOCAL ; REPEAT  i := 1 TO  HIINDEX  ( input1 ) ; IF  ( 'layered_interconnect_module_design_xim.laminate_component_armx' IN  TYPEOF ( input1 [ i ] ) ) THEN  vdr := input1 [ i ] \ assembly_component_armx . occurrence_contexts ; pvd := [ ] ; REPEAT j := 1 TO HIINDEX ( vdr ) ; pvd := pvd + vdr [ j ] \ product_definition_relationship . relating_product_definition ; END_REPEAT  ; IF NOT ( input2 IN pvd ) THEN valid := FALSE ; END_IF  ; END_IF ; END_REPEAT ; RETURN ( valid ) ;