Please show how you developed this lujvo. It seems strange. Given that
the property of goodness is already inside the lujvo valsi itself, how can
there be a place for property?


As I see it:
t1 traji loka ce'u xamgu x2 x3 kei t3 t4
becomes
t1(=x1) xagrai t3 t4 x2 x3

followed by further reductions of places. There is no t2 because it has
become:

loka ce'u xamgu x2 x3

For the discussion of this see:
http://groups.google.com/group/lojban/browse_thread/thread/9c3d89eb86bf0ad
1

totus