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