How would you improve the consequent clause of this rule?
(#$implies (#$isa ?U #$BungeeCord) (#$primaryFunction ?U #$BungeeJumping #$instrument-Generic))