ranxi -rax- gismu

x1 is ironic(al)/contrary to expectation x2 in state/property/aspect x3.

See also dukti, frica, cizra.

In notes:

cizra
x1 is strange/weird/deviant/bizarre/odd to x2 in property x3 (ka).
dukti
x1 is polar opposite from/contrary to x2 in property/on scale x3 (property/si'o).
frica
x1 differs/is distinct from/contrasts with/is unlike x2 in property/dimension/quantity x3.
raxfatci
f1=r1 is absurd, contrary to expectation r2 in aspect r3.
raxsku
c1 (agent) expresses c2 (sedu'u/text/lu'e concept) with irony for audience c3 via expressive medium c4..
raxyckasu
c1 is sarcastic to c2 about c3/ c1 satirizes c2 about c3
raxyxajmi
x1=r1 is sardonic to x2 in property/aspect x3=r3.