Find!
x1 needs to be/do x2 (ka) for purpose x3
ka-version of nitcu, that strengthens the relationship between x1 and the property.