rewrite line parse

rewrite line parse, add conjClause, clause, etc.