W10-4313 | proposition " ( 25 ) . The two-place | list constructor | : : appends a referent together |
P85-1014 | The symbol " . " is used as the | list constructor | and " nil " is used to represent |
J14-2002 | dependency parsing . We use | as | list constructor | , meaning that σ | wi is |
J87-1001 | extraposition list is not any standard | list constructor | , but the functor x. ) The predicate |
C92-1026 | 17 LAST : nil ) tlowever , the | list constructor | is left implicit , That is , |