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 do not orbit Jupiter
The twelve moons are Jupiter's moons
( z1 orbit :polarity - :ARG0 ( z2 moon :quant 12 ) :ARG1 ( z3 planet :name ( z4 name :op "Jupiter" ) ) )