IsKeyword_WithFilter_UpstreamValue

given IsKeyword_WithFilter_UpstreamValue[UpstreamKeyword, UpstreamValue]: IsKeyword[WithFilter[UpstreamKeyword, UpstreamValue], UpstreamValue]