Assertion: triangle's area | /r/HasProperty | positive
Facets:
Source sentences:
text: If each triangle inequality holds strictly, h > 0 and the triangle is non-degenerate (has positive area); but if one of the inequalities holds with equality, so h = 0, the triangle is degenerate.