object SearchInfo =  np:NamePattern and idp:IdPattern and 
        ap:AgePattern and sp:SexPattern and adp:AddressPattern
    description: (*
        Each component of SearchInfo is a search pattern that corresponds to
        one of the fields of a UserInfo record.
    *);
end UserSearchInfo;