I know in german if parts of agreement are illegal (f.e. laws changed) the rest stays valid. I assume that this is similar in USA, even if one part of agreement is broken (trademarks no longer reserved) the rest (license for using sources) is still active. That basically would mean amigaos could still be sold but not under the name and the hardware could no longer be called AmigaOne. Would be interesting if my interpretation would be valid