PMC:1482699 / 5888-5893 JSONTXT

{"project":"craft-sa-dev","denotations":[{"id":"T3540","span":{"begin":0,"end":5},"obj":"IN"}],"text":"while"}