_:b57371449 "AST" . _:b57371448 . _:b57371449 . _:b57371448 _:b57371449 .