(<= (Model-Id $X Crosshead_Model_M04) (Crosshead_Model_M04 $X)) (<= (Has-Parameter-Slot $X Crosshead_Height) (Crosshead_Model_M04 $X)) (<= (Crosshead_Height $X 8.125) (Crosshead_Model_M04 $X))