[n,_] not in body of type statements Type statements may not refer to other [n,_] types. Users should only refer to data for the immediate predicate (where terminal predicates only take values not [n,_]).