(aspect-field ?aspect ?field) -> (aspect ?aspect)(type-field ?aspect
field)