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.
The twelve moons are too large to be captured by Jupiter
( z1 have-degree :ARG1 ( z2 moon :quant 12 ) :ARG2 ( z3 large ) :ARG3 ( z4 too ) :ARG6 ( z5 capture :ARG0 ( z6 planet :name ( z7 name :op "Jupiter" ) ) :ARG1 z2 ) )