_:b401162017 "hard" . _:b401162017 "4"^^ .