_:b57817736 . _:b57817737 "higher" . _:b57817737 . _:b57817736 _:b57817737 .