_:b401984398 "heavy" . _:b401984398 "3"^^ .