Required information

NOTE: This is a multi$-$part question. Once an answer is submitted, you will be unable to return to this part. If we let the domain be all animals, and $S(x)="x$ is a spider", $I(x)=x$ is an insect", $D(x)="x$ is a dragonfly", $L(x)="x$ has six legs", $E(x,y)="x$ eats $y^{\text{'}}",$ then the premises be

"All insects have six legs," $(AAx(1(x)L(x)))$

"Dragonflies are insects," $(AAx(D(x)||(x)))$

"Spiders do not have six legs," $(AAx(S(x)$notL$(x)))$

"Spiders eat dragonflies." $(AAx,y(S(x{)}^{{?}^{?}}D(y))E(x,y))$

The conditional statement $"$ AAx, If $x$ is an insect, then $x$ has six legs" is derived from the statement "All insects have six legs" using

$($You must provide an answer before moving to the next part.$)$