Some relations are pointing expressions as opposite but only a few expressions could be inside. We should refine some with traits.