liàng huà luó ji
quantificational logic (i.e. first-order logic)
量
liàng
capacity
化
huà
to make into
逻
luó
patrol
辑
ji
to gather up
