Appendix:Lojban/mansa

Root

 * 1) satisfy; x1 satisfies evaluator x2 in property (ka)/state x3.