ronsa
experimental gismu
x1 is redundant/unnecessary with x2 because the both satisfy property x3 (ka) under conditions / because of reason x4 (nu/du'u)
See also simsa, nalra'a.
Made with gismu[...]score.py ron atsat redundant redundante izlicni za,ida