Assertion: order logic | /r/CapableOf | make something of a recovery
Facets:
value: in recent years[when
type: TEMPORAL
value: as first-order quantification
type: MANNER
Source sentences:
text: In recent years[when?] second-order logic has made something of a recovery, buoyed by Boolos' interpretation of second-order quantification as plural quantification over the same domain of objects as first-order quantification (Boolos 1984).