Find!
x1=ka1 (agent) mines material/ore x2=ku1=ka2 of type x3=ku2 from mine/source x4=ku3=ka3 using tool x5=ka4.
Used in Theodore Reed's translation of A Princess of Mars.