Assertion list
cheap grace (subgroup of grace ) → CapableOf

Results from Ascent++: 1
cheap graceCapableOf mean the justification of sin 0.33