Symbolizing
-If anything is heavy, then there is something heavier than this piece of chalk, which happens not to be heavy. (Hx = "x is heavy"; Hxy = "x is heavier than y"; c = "this piece of chalk".)

Question

Quizplus · Accepted Answer

The Answer of Symbolizing
-If anything is heavy, then there is something heavier than this piece of chalk, which happens not to be heavy. (Hx = "x is heavy"; Hxy = "x is heavier than y"; c = "this piece of chalk".)

Symbolizing -If Anything Is Heavy, Then There Is Something Heavier Than