Assertion: solidus | /r/HasProperty | equal
Facets:
value: always
type: DEGREE
value: to the liquidus
type: OTHER
Source sentences:
text: The solidus is always less than or equal to the liquidus, but they need not coincide.