Assertion: gauss's friend | /r/CapableOf | try in vain
Facets:
value: to prove the parallel postulate
type: PURPOSE
value: for many years
type: TEMPORAL
Source sentences:
text: His friend Farkas Wolfgang Bolyai[?] had tried in vain for many years to prove the parallel postulate from Euclid's other axioms of geometry and failed.