liàng
huà
luó
ji

Definitions

  1. 1. quantified logic

Components