_:b56614896 _:b56614897 . _:b56614897 "higher" . _:b56614897 . _:b56614896 .