There could actually be a few reasons why it's not listed on the SEC. I have a few ideas but that would be mostly guess work at this point. Why not just contact the SEC? I have a few times and they have been good at getting back to me rather quickly.
Market Data 
Markets 
AI
