Assertion: distance | /r/CapableOf | float d = a*c - b*b
Facets:
Source sentences:
text: Distances float D = a*c - b*b; // always >= 0
text: Distances float D = a*c - b*b; // always >= 0