started parsing circumscription