A one time thing isn't good enough. Defending one's trademark has to be done continuously.
AFAIK, AI has been active in taking down sites and auctions down that infringed on their IP for awhile. So what actions AI has taken, we really don't know how often. I suspect it's enough for the courts, if it was ever challenged.
Not to mention the fact that they have, as far as I know, never taken any action with regards to AROS, even though they have had complete knowledge of it's existence since the beginning.
That is because they couldn't touch AROS. They made some "request" some time ago,which AROS complied with. The only remotely questionable use of anything AI related was AROS' name which now has been changed. AROS does not use AI's trademarks nor any AI's IP, including any code.
Dammy