Find!
under conditions x4, it is possible that x1 does volitionally x2 (property of x1) for purpose/goal x3