Assertion list
coulomb (primary) → CapableOf
Results from Ascent++: 3
coulomb → CapableOf → discover similar law 0.25
coulomb → CapableOf → pass point 0.25
coulomb → CapableOf → use shipyard 0.25