A formalization of one of the main claims of 'Cortex reorganization of Xenopus laevis eggs in strong static magnetic fields' by Mietchen et al. 2005

Mietchen et al. claimed in previous work that strong static magnetic fields change the cell cortex in dejellied fertilizable stage VI Xenopus lavis oocytes. We present here a formalization of that claim, stating that all things of class 'strong static magnetic field' that are in the context of a thing of class 'dejellied fertilizable stage VI Xenopus laevis oocyte' generally have a relation of type 'affects' to a thing of class 'cell cortex' in the same context.