DINOSAURS ARE EXTINCT The dinosaurs are now extinct.
(DINOSAURS; ARE; EXTINCT) Context(DINOSAURS ARE,List([0, 13))):(The dinosaurs; are; T:now; extinct)
DINOSAURS ARE,List([0, 13))
DINOSAURS The dinosaurs
ARE are
EXTINCT
T:now extinct