The following definition appears in a mathematics text:

Definition. A structure is a mouse if it is a premouse and it is iterable.

In the domain of structures, using the predicates M$($x$)="$x is a mouse," P$($x$)="$x is a premouse," and I$($x$)="$x is iterable," which of these is the most accurate rendering of the meaning of this definition?