single AMR view only needs one iteration of smatch