Problem: A systematic study of category theory then allows us to prove mathematical results about any of these types of general structures from the axioms of a category .
A systematic study of category theory then allows us to prove mathematical results on each of these types of general structures from the axioms of a category .
-+-
A: yes

Problem: Former Mangalore Station was located north of Seymour at the crossroads of North East and Shepparton lines .
The former North East railway station was located north of Seymour at the crossroads of Mangalore and Shepparton lines .
-+-
A: no

Problem: '' Chuck Versus the Family Volkoff '' is the fourth episode of the 20th season of '' Chuck '' , and the 74th overall episode of the series .
'' Chuck versus the Family Volkoff '' is the 20th episode of the fourth season of '' Chuck '' , and the 74th overall sequence of the series .
-+-
A:
no