As far as I'm aware the complaint has not been made public. But unless you can point to a single piece of "formed" legislation for this, I'm certainly going to assume it is formless. Both because every trademark complaint I've seen has been formless, and it is impossible to disprove that a law exists in America, only the converse.