working on mapping arguments for facilities to their formals