Assertion list for term "subtend right angle".

Results from Ascent++: 1
square CapableOfsubtend right angle 0.30