suggested data structure for checking propn-arg families