_:b400303525 "heavy" . _:b400303525 "9"^^ .