Assertion list
lepton (primary) → CapableOf

Results from Ascent++: 1
leptonCapableOf equal 1/128 of a denarius 0.25