Parsing has been debugged completely, need to debug PL resolution as quickly as possible