LOCAL x : SET OF functional_unit_usage_view_terminal_definition_make_from_relationship ; END_LOCAL ; IF  relation . reusable_feature IN  relatives THEN  RETURN  ( FALSE  ) ; END_IF  ; x := QUERY ( pd <* bag_to_set ( USEDIN ( relation . reusable_feature , 'functional_usage_view_xim.' + 'functional_unit_usage_view_terminal_definition_make_from_relationship.' + 'resultant_feature' ) ) | specific_relation IN TYPEOF ( pd ) ) ; REPEAT i := 1 TO HIINDEX ( x ) ; IF NOT acyclic_functional_unit_usage_view_terminal_definition_make_from_relationship ( x [ i ] , relatives + relation . reusable_feature , specific_relation ) THEN RETURN  ( FALSE ) ; END_IF ; END_REPEAT ; RETURN ( TRUE ) ;