Where does LTOP get defined for lexical items in the ERG?

I am working on trying to figure out exactly how the semantic identities get established for a sentence like The extremely white cat sleeps. in the ERG so I can compare what happens to my understanding of the MRS algebra.

Right now I’m trying to answer the following questions:

  1. How does the AP extremely white get its HOOK?
  2. How are the semantic links between the elements on the RELS list of the AP extremely white established?

I’m starting with problem 1, and I have managed to figure out that extremely white gets its HOOK from the HOOK of the head daughter, the AP white.

So next I want to figure out how the AP white has each piece of its HOOK established. I managed to find the information about HOOK.INDEX and HOOK.XARG from the type aj_-_i-color_lexent but I cannot for the life of me find the LTOP information.

I tried to gather the constraints for every supertype of the lexical type for white (aj_-_i-color-er_le ) and I put them in a txt file but when I search LTOP it’s not there. So there must be some other place I should be looking that I can’t find.

Here are the contents of the txt file:

aj_-_i-color-er_le := aj_-_i-color-er_lexent

aj_-_i-color-er_lexent := aj_-_i-color_lexent &
  [ SYNSEM.LOCAL.CAT.HEAD.MINORS.ALTMIN comp_or_meas_rel ].

aj_-_i-color_lexent := norm_adj_word &
	[ SYNSEM adj_unsp_ind_onearg_synsem &
		[ LOCAL [ CAT [ HEAD.MINORS.MIN color_rel,
				VAL.SPR.FIRST.LOCAL.CONT.HOOK.XARG #xarg ],
				CONT [ HOOK [ INDEX #xarg,
					XARG #ind ],
				RELS <! relation !> ] ],
				LKEYS.KEYREL.ARG1 #ind & basic_non_expl-ind ] ].

norm_adj_word := basic_norm_adj_word.

basic_norm_adj_word := noncqr-h-nab & mcna &
  [ SYNSEM [ LOCAL.CAT [ HEAD adj & [ MINORS.ALTMIN non_ellipt_rel ],
			 VAL.SPR.FIRST synsem &
			      [ --MIN more_or_very_deg_rel,
				LOCAL.CAT.HS-LEX #hslex ],
			 HS-LEX #hslex ],
	     MODIFD notmod ] ].


noncqr-h-nab := noncr-h-nab & nonque.

noncr-h-nab := nonc-h-nab & nonrel.

nonc-h-nab := nonconj & hc-to-phr & non_affix_bearing.

non_affix_bearing := word &
  [ INFLECTD + ].

nonconj := word &
	[ SYNSEM [ LOCAL.CONJ cnil,
				PUNCT no_punctuation_min ] ].

mcna := word &
	[ SYNSEM.LOCAL.CAT.MC na ].

hc-to-phr := word &
	[ SYNSEM.LOCAL.CAT.HC-LEX - ].

nonrel := word &
	[ SYNSEM.NONLOC.REL.LIST < > ].  

nonque := word &
  [ SYNSEM.NONLOC.QUE.LIST < > ].  

word := basic_word &
  [ SYNSEM.PUNCT.PNCTPR ppair ].

basic_word := word_or_infl_rule & word_or_punct_rule &
	[ SYNSEM [ PHON.ONSET.--TL #tl,
			LKEYS.KEYREL [ CFROM #from,
				CTO #to ] ],
	ORTH [ CLASS #class, FROM #from, TO #to, FORM #form ],
	TOKENS [ +LIST #tl & < [ +CLASS #class, +FROM #from, +FORM #form ], ... >,
			+LAST.+TO #to ] ].

word_or_infl_rule := word_or_infl_or_punct_rule & word_or_nonpunct_rule.

word_or_punct_rule := word_or_infl_or_punct_rule.

word_or_nonpunct_rule := word_or_lexrule.

word_or_infl_or_punct_rule := word_or_lexrule.

word_or_lexrule := word_or_lexrule_min & word_or_bracketed_phrase &
		   non_unary-rule & word_or_punct_phrase &
  [ ALTS alts_min,
    TOKENS tokens,
    SYNSEM.LOCAL.CAT.--SLASHED.BOOL - ].

word_or_bracketed_phrase := word_or_punct_or_bracketed_phrase.

word_or_punct_phrase := word_or_punct_or_bracketed_phrase.

word_or_lexrule_min := sign_min.

non_unary-rule := phrase_or_lexrule.

word_or_punct_or_bracketed_phrase := sign.

phrase_or_lexrule := sign &
  [ SYNSEM canonical_synsem &
	   [ LOCAL.CONT.HOOK #hook ],
    ORTH.FROM #from,
    C-CONT mrs_min & [ HOOK #hook ],
    ARGS.FIRST.ORTH.FROM #from ].


sign := sign_min &
	[ SYNSEM synsem &
				[ LOCAL [ CAT.HEAD.MINORS.MIN #min,
						CONT.HOOK.INDEX #index ],
				--MIN #min,
				--SIND #index ],
		ORTH orthog,
		ARGS *list*,
		INFLECTD luk,
		GENRE genre,
		DIALECT dialect,
		IDIOM bool,
		DERIVED luk,
		RNAME basic_ctype,
		CONCEPTS *list* ].

sign_min := *avm* &
	[ SYNSEM synsem_min,
		KEY-ARG bool ].

*avm* := *top*.

I ended up finding the LTOP identity in the synsem type isect_synsem (supertype of adj_unsp_ind_onearg_synsem):

isect_synsem := abstr_lex_synsem &
  [ LOCAL [ CAT.HEAD.MOD < [ LOCAL intersective_mod ] >,
	    CONT.HOOK [ LTOP #hand,
			INDEX #index ] ],
    LKEYS.KEYREL [ LBL #hand,
		   ARG0 #index ] ].

I think that in hunting this down I was asking the wrong question, though. So I’m going to start a new post that rewords my question, but I wanted to follow up here to at least say I found this.