Assertion list
microwave (primary) → UsedFor
Results from Ascent++: 1
microwave → UsedFor → heating 0.28