Assertion: integer triangle | /r/HasProperty | heronian
Facets:
value: consequently
type: MANNER
Source sentences:
text: Consequently, an integer triangle is Heronian if and only if it can be drawn as a lattice triangle.