양화논리 번역질문

[익명(45.33)]

All iron x is such that ( if x is heated then x expands)를
Ax(Ix->(Hx->Ex))로 번역해도 되나요?

[익명(211.36)]

ㅇ