Assertion list for term "3 s".
Results from Ascent++: 1
observer → HasA → 3 s 0.25