LOOM — knowledge representation language