Is this axiom true with respect to our world?
(#$implies (#$and (#$isa ?INS #$PhysicalDevice) (#$instrument-Generic ?EVENT ?INS)) (#$deviceUsed ?EVENT ?INS))