Form(p, f) is true iff part p has core form f, and ArgForm(p, i, f) is true iff the ith argument in p has form f. 3 The "f!"
cOMPOSE creates clusters of large lambda-forms if they tend to be composed of the same subforms (e.g., the lambda form for "is next to").