Text this: On logical and extensional characterizations of attributed feature models.