_:b401294354 "core" . _:b401294354 "20"^^ .