Assertion list
trader (primary) → CapableOf
Results from Ascent++: 3
trader → CapableOf → sell security 0.68
trader → CapableOf → choose 0.25
trader → CapableOf → place order 0.25