Lawsuit alleges that insurers improperly defined "basement"