_:b402774436 "classical" . _:b402774436 "40"^^ .