Assertion list
body (aspect of guitar ) → HasA

Results from Ascent++: 1
bodyHasA side 0.25