Use the Following Translation Key to Write the Sentences Below

Short Answer

use the following translation key to write the sentences below in FF.
a: one
b: two
c: three
f(x): the successor of x
g(x,y): the sum of x and y
Nx: x is a number
Dxy: x is divisible by y
Gxy: x is greater than y
-Numbers that are not divisible by three have sums with themselves that are also not divisible by three.