subsequent quantors are detected, LOC added :>