cn(\(A,/\(@(woman,A),@(\(B,@(*(B),A)),^(\(C,@('walk*',*(C))))))),f,[],[],1,5)
cn(woman,f,[],[],1,2)