Assertion list for term "at least 1000 movable mirrors".
Results from Ascent++: 1
die → HasA → at least 1000 movable mirrors 0.25