Assertion list for term "under denominated formulas".

Results from Ascent++: 1
bitcoin miner (subgroup of miner) IsAunder denominated formulas 0.68