ActuallyAdditions/src/generated/resources/data/actuallyadditions/recipes/mininglens/stone_coal_ore.json

{
  "type": "actuallyadditions:mining_lens",
  "ingredient": {
    "tag": "forge:stone"
  },
  "result": {
    "item": "minecraft:coal_ore"
  },
  "weight": 5000
}