in how many places did lin-manuel miranda study ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open dbr_Lin-Manuel_Miranda dbo_almaMater var_uri sep_dot var_uri a dbo_University brack_close