ProRandomAdjectiveClause added