Assertion list
bitcoin miner (subgroup of miner ) → IsA
Results from Ascent++: 3
bitcoin miner → IsA → under denominated formulas 0.68
bitcoin miner → IsA → good shot 0.34
bitcoin miner → IsA → the best deal 0.16