Assertion list
area (aspect of triangle ) → ReceivesAction

Results from Ascent++: 5
areaReceivesAction contained by rational straight … 0.45
areaReceivesAction bounded by line 0.32
areaReceivesAction stored with command 0.29
areaReceivesAction stored with transmission and re… 0.29
areaReceivesAction stated as the area of the circle 0.25