Twelve of Jupiter's moons are relatively small and seem to have been more likely captured than to have been formed in orbit around Jupiter.
It's more likely that the moons did not form in orbit
( z1 likely :ARG1 ( z2 form :polarity - :ARG1 ( z3 moon ) :location ( z4 orbit ) ) :ARG2-of ( z5 have-degree :ARG1 z2 :ARG3 ( z6 more ) ) )