Lanao del Sur noun1 •A province of Bangsamoro, Mindanao, Philippines. Capital and largest city: Marawi.